|
@@ -32,6 +32,7 @@ const
|
|
|
AllowDirectorySeparators : set of char = ['\','/'];
|
|
|
AllowDriveSeparators : set of char = [':'];
|
|
|
FileNameCaseSensitive = false;
|
|
|
+ FileNameCasePreserving = true;
|
|
|
CtrlZMarksEOF: boolean = false; (* #26 not considered as end of file *)
|
|
|
maxExitCode = 255; {$ERROR TODO: CONFIRM THIS}
|
|
|
MaxPathLen = 256;
|