diff options
Diffstat (limited to 'etc/config/v.defaults.properties')
| -rw-r--r-- | etc/config/v.defaults.properties | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/etc/config/v.defaults.properties b/etc/config/v.defaults.properties deleted file mode 100644 index 3b97f2d9a..000000000 --- a/etc/config/v.defaults.properties +++ /dev/null @@ -1,15 +0,0 @@ -# Default settings for V - -objdumper=objdump -supportsBinary=false -supportsExecute=false -versionFlag=--version -compilerType=v - -compilers=v -defaultCompiler=v - -compiler.v.exe=/usr/local/bin/v -compiler.v.name=V - -libs= |