diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-02-11 11:09:29 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-02-11 11:09:29 +0000 |
commit | 64f5c3275097b3004937aeb3e287a4c6123c62bb (patch) | |
tree | 392515f839c54c3c19cbe39c98c0de3cf9d321c8 /isar/interface-setup.el | |
parent | 79669423a345e65a8115323626f8ca66c44280a6 (diff) |
added "judgment";
Diffstat (limited to 'isar/interface-setup.el')
0 files changed, 0 insertions, 0 deletions