diff options
| author | Makarius Wenzel | 2000-04-03 10:00:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-04-03 10:00:46 +0000 |
| commit | 628329fe2d7389896200d065c568182ab1419973 (patch) | |
| tree | 7a54500b10f35d564ac3b0d0a50729179e7849c0 /html/projects.phtml | |
| parent | d3db46f18e89fd41418378ff807b7f9b69fa5cb8 (diff) | |
added 'ProofGeneral.undo';
fixed 'cd' classification;
Diffstat (limited to 'html/projects.phtml')
0 files changed, 0 insertions, 0 deletions