diff options
Diffstat (limited to 'etc/config/racket.defaults.properties')
| -rw-r--r-- | etc/config/racket.defaults.properties | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/etc/config/racket.defaults.properties b/etc/config/racket.defaults.properties deleted file mode 100644 index 525cae32f..000000000 --- a/etc/config/racket.defaults.properties +++ /dev/null @@ -1,13 +0,0 @@ -compilers=racket -compilerType=racket - -versionFlag=--version -versionRe=Racket v\d+\.\d+(\.\d+)? - -interpreted=true -supportsBinary=false -supportsExecute=false - -compiler.racket.name=Racket -compiler.racket.exe=/usr/local/bin/racket -compiler.racket.raco=/usr/local/bin/raco |