remove unused function ToolsDir

Win/Platform.dcl

@@ -10,7 +10,6 @@ IF_WINDOWS windows not_windows :== windows
 DirSeparator:=='\\'
 DirSeparatorString:=="\\"
 
-ToolsDir	:: String
 TempDir		:: String
 EnvsDir		:: String
 PrefsDir	:: String

Win/Platform.icl

@@ -73,24 +73,14 @@ inifilename
 	=: apppath%(0,s-4) +++. "ini\0"
 
 section =: "Paths\0"
-toolkey =: "tooldir\0"
 tooltempkey =: "tooltemp\0"
 envskey =: "envsdir\0"
 prefskey =: "prefsdir\0"
 
-tooldefault		=: StartUpDir +++. "\\Tools\0"
 tooltempdefault	=: StartUpDir +++. "\\Temp\0"
 envsdefault		=: StartUpDir +++. "\\Config\0"
 prefsdefault	=: StartUpDir +++. "\\Config\0"
 
-ToolsDir :: String
-ToolsDir =:
-	let
-		(has_arg,arg) = get_arg "-tooldir"
-		(has_env,env) = get_env "TOOLDIR"
-		ini = get_ini inifilename section toolkey tooldefault
-	in if has_arg arg (if has_env env ini)
-
 TempDir :: String
 TempDir =:
 	let