Merge pull request #6 from YumingxuanGuo/dev/sql

Dev/sql
YumingxuanGuo · Apr 15, 2023 · f145adc · f145adc
2 parents 83d5e85 + abdf8e7
commit f145adc
Show file tree

Hide file tree

Showing 469 changed files with 35,346 additions and 126 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,5 @@
 /target
 /data
 /src_old
-check_lines.sh
-push.sh
+lines.sh
+commit.sh