diff options
| author | Makarius Wenzel | 1999-10-07 15:28:58 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-07 15:28:58 +0000 |
| commit | cebd9ae3076d6c72cbb452e4f3f517ca405f83c3 (patch) | |
| tree | 93dfdfc46db16ec78508304b0cb82b65c1401df4 /html | |
| parent | 4ff423fe4b8f7624e113b4cb68e07a429ad9fb72 (diff) | |
replaced "clear_undo" to "clear_undos";
replaced "title" by "header";
added "verbatim", "verb";
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions