Removed obsolete preference api

This commit is contained in:
Markus Lampert
2021-02-15 11:52:02 -08:00
committed by wwmayer
parent 4d3ecdab68
commit 522734eb3c
5 changed files with 5 additions and 9 deletions

View File

@@ -162,10 +162,6 @@ def toolsUseLegacyTools():
return preferences().GetBool(UseLegacyTools, False)
def toolsReallyUseLegacyTools():
return toolsUseLegacyTools()
def toolsStoreAbsolutePaths():
return preferences().GetBool(UseAbsoluteToolPaths, False)