diff options
| author | Makarius Wenzel | 1999-08-29 16:04:39 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-29 16:04:39 +0000 |
| commit | bc05b75f0788fa0570a973ec34371b23d5404e03 (patch) | |
| tree | 1f82ed040f732cc4834134a4fe0bb971300bcf6b /html | |
| parent | fccf559b0efb3e3fb1340d1f436abd92ffdc8add (diff) | |
fixed isar-find-and-forget (proper handling of multiple undos);
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions