diff options
| author | Glenn Morris <rgm@gnu.org> | 2016-02-29 08:51:12 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2016-02-29 08:51:12 -0800 |
| commit | 938f104f1b8de0a082f4736aaf504cea4f65765e (patch) | |
| tree | c157c9d2b3ce30fe3da71f9df18e14605ef4a7e8 /admin | |
| parent | cffe077b76769e8b5b109cf3cbbdfdcf31e1150d (diff) | |
* lisp/progmodes/grep.el (grep-save-buffers): Fix type, tweak doc.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions