diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-21 00:38:30 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 14:58:51 -0400 |
commit | a5a2118e4e0f31a4b8ae9921fa634058af526cdc (patch) | |
tree | 3a8912601637c78c8995fb8403302e2f3971d323 /project/build.properties | |
parent | 8a71d804a41ffbd80f881fae24c42637e246afc2 (diff) | |
download | commando-a5a2118e4e0f31a4b8ae9921fa634058af526cdc.tar.gz commando-a5a2118e4e0f31a4b8ae9921fa634058af526cdc.tar.bz2 commando-a5a2118e4e0f31a4b8ae9921fa634058af526cdc.zip |
Migrate build to mill; redesign command structure and parser
Diffstat (limited to 'project/build.properties')
-rw-r--r-- | project/build.properties | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/project/build.properties b/project/build.properties deleted file mode 100644 index c0bab04..0000000 --- a/project/build.properties +++ /dev/null @@ -1 +0,0 @@ -sbt.version=1.2.8 |