From 4a7bcd054bf98abc78ff8902fed2e29237e88fa9 Mon Sep 17 00:00:00 2001
From: Tingyuan LIANG <tliang@connect.ust.hk>
Date: Tue, 24 Aug 2021 02:33:16 +0800
Subject: [PATCH] Delete .sbtopts

Delete .sbtopt since it will be generated by the script for repo initialization
---
 .sbtopts | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .sbtopts

diff --git a/.sbtopts b/.sbtopts
deleted file mode 100644
index 2358d787..00000000
--- a/.sbtopts
+++ /dev/null
@@ -1,2 +0,0 @@
--Dsbt.sourcemode=true
--Dsbt.workspace=$PWD/tools