| commit | 310208221d59e94071ce1bb6f8213c5f1e3cc1b7 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Tue Apr 08 21:29:09 2008 +0000 |
| committer | david_williams <david_williams> | Tue Apr 08 21:29:09 2008 +0000 |
| tree | 79aa12199224d5ad4afb8f6c837e23a1c975bdba | |
| parent | befd52f0fdef9eb276858442d239904cdac958c5 [diff] |
adding TPTP to JEE config