[140978] Removed obsolete TPTP drivers from dependancies.properties
2 files changed