diff options
author | 2010-08-24 19:52:08 +0000 | |
---|---|---|
committer | 2010-08-24 19:52:08 +0000 | |
commit | 5cd9ba766ecda008b9f6fdce89d1898579497b26 (patch) | |
tree | eae12e087679d99fac56bac88bddbeec83adbe80 /doc/README.documentation | |
parent | b0e087829c9089a3ba5a64a4fedaf756cf274178 (diff) |
isar-set-undo-commands: encourage the user not to change while processing a buffer
Diffstat (limited to 'doc/README.documentation')
0 files changed, 0 insertions, 0 deletions