diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-11-08 22:47:29 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-11-08 22:47:29 +0000 |
commit | 1bc3a7d5e5d6c4eff595667d36ba47ec1ad9bbbf (patch) | |
tree | ba3214272c19f76319446f0777e5d75821430bd5 /isar/interface | |
parent | 160a50d195f2b37c5ed63411b8b680e4d2e5a633 (diff) |
added \<index> symbol;
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions