diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-06-12 18:26:20 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-06-12 18:26:20 +0000 |
| commit | 20315eac859168238ad5228a910df499a0510164 (patch) | |
| tree | 5b329fcd34b5146e67a4c84f9c94186f164e14ba /src/buffer_manager.cc | |
| parent | c0987ebacc0ddd71342abf03a8c7bb9951d1ab4a (diff) | |
replace Option::operator {String,int} with Option::as_{string,int}
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions