diff options
| author | David Aspinall | 2000-04-04 13:23:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-04 13:23:58 +0000 |
| commit | 84807c20846c98db4f1dfd28f7f7ad66ed87cd1c (patch) | |
| tree | f7f5d9edee205db7cd2f1c28f19bf9e6c4cda43d /html/devel.phtml | |
| parent | 160c6293ac3be9a0ce48731902af78f31674d58b (diff) | |
Fix accidently introduced bug with passing full paths to theory loader.
Diffstat (limited to 'html/devel.phtml')
0 files changed, 0 insertions, 0 deletions