diff options
Diffstat (limited to 'web/clip/unix/modula.ini')
-rw-r--r-- | web/clip/unix/modula.ini | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/web/clip/unix/modula.ini b/web/clip/unix/modula.ini new file mode 100644 index 0000000000..892efa30b0 --- /dev/null +++ b/web/clip/unix/modula.ini @@ -0,0 +1,21 @@ +This file contains data that is needed to run CLiP +And is generated by CLiP_MENU +Modifying this file at own risk. +Using CLiP_MENU is definitely recommended. + +INTERACTIVE_MODE Mode (INTERACTIVE/DEBUG/HELPFUL/AUTO) +YES Interactive fault correction (YES/NO) +BOTH Error message destination (TERMINAL/REPORTFILE/BOTH/NONE) +(* Left comment string +*) Right comment string +* Command character +ENDOF END string +# Option marker +OMITTED The specified modules are (OMITTED/EXTRACTED) +------------ REPORT FILE ----------- +CLIP.RPT +------------ INPUT FILES ----------- +------------ MODULES --------------- +------------ MODULE DIRECTORY ------ + +------------ END OF INI FILE ------- |