Delete .sbtopts

Delete .sbtopt since it will be generated by the script for repo initialization
2021-08-24 02:33:16 +08:00
parent 2e9fa01b64
commit 4a7bcd054b
1 changed files with 0 additions and 2 deletions
--- a/.sbtopts
+++ b/.sbtopts
@@ -1,2 +0,0 @@
-Dsbt.sourcemode=true
-Dsbt.workspace=$PWD/tools