diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:18:16 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-26 17:18:16 +0000 |
commit | 2964b8b97c522456059803439a042bca4c807c49 (patch) | |
tree | b6418445e79e89554d8e4b0fe91c3258883135ca /isar/isar.el | |
parent | 0501a503f1778949ca7e9085e3c238702dc9bc28 (diff) |
replaced remove_thy by kill_thy (more robust);
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions