diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-07-31 22:10:01 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-07-31 22:10:01 +0100 |
| commit | beb6065a719f3798c580aece81a0b076ca86f2a0 (patch) | |
| tree | df0120c0fcb9bbe67a0e8f9aadaf2b692517dbf0 /src/buffer_manager.cc | |
| parent | bcb0dd451b0ca660cbca359f0ac6fde22c87f6b3 (diff) | |
Add a -existing switch to edit command
with this switch, fail if the file is not found rather than creating
a new one. Use that in grep and make jump commands.
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions
