| commit | ca525b6be8934a05b77339589ae569d022888b85 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Wed May 10 05:17:35 2006 +0000 |
| committer | david_williams <david_williams> | Wed May 10 05:17:35 2006 +0000 |
| tree | b03e153d744b5848ef71c1032199defeb00fc569 | |
| parent | 60f3c5b3481f7e622bd2120c9a468d7c687267b2 [diff] |
[140978] Removed obsolete TPTP drivers from dependancies.properties