diff options
author | 1999-09-26 14:53:16 +0000 | |
---|---|---|
committer | 1999-09-26 14:53:16 +0000 | |
commit | b12ac96fd592b98be50964f743f589fbcf4787ad (patch) | |
tree | 633135cd5c5557b548fa6ac8c98e05adaaa0418f /plastic/test.lf | |
parent | 48b49eafbcdb62f2dca53d609fd71ad6d8909b9b (diff) |
added isar-verbatim;
Diffstat (limited to 'plastic/test.lf')
0 files changed, 0 insertions, 0 deletions