diff options
| author | Makarius Wenzel | 2000-10-14 17:19:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-14 17:19:32 +0000 |
| commit | 2f1ef9ec1f7eab0b217df3f0dc0861e5f78f9f38 (patch) | |
| tree | 8b66e25f825ade0ae2f730e0d6c46726a991d245 /html | |
| parent | 27f5308ce510f63f5f95cde89f1969461ad8960f (diff) | |
parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions