diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-14 14:13:10 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-14 14:13:10 +0200 |
| commit | 4e34f777b0001afb995f1840e6f8c049fcb3d4b4 (patch) | |
| tree | 05b5315b618b92393794be940d83306f0ae1b79c /src/buffer_manager.cc | |
| parent | 25899f33cd7d5af504f198975d5241cfefdb99ec (diff) | |
Buffer: stronger invariant, a buffer is never empty and all lines finish by '\n'
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions