Fixed merge issue

This commit is contained in:
markus
2020-11-13 08:25:30 -08:00
committed by Markus Lampert
parent b1c385f909
commit 074ad40338

View File

@@ -99,6 +99,7 @@ class PathWorkbench (Workbench):
extracmdlist = []
# modcmdmore = ["Path_Hop",]
# remotecmdlist = ["Path_Remote"]
specialcmdlist = []
if PathPreferences.toolsReallyUseLegacyTools():