chore: remove 'grammars-Total' files (hedyorg#658)

The files were ignored, but not actually removed yet, so actually remove them. Since git only tracks files and not directories, removing all files would not create the directory on checkout, and writing the `Total` files would fail because of a missing directory. So put a single empty placeholder file (`.keepdir`) in the directory so that git will create the dir.
nitingautam · Aug 23, 2021 · 8d4c102 · 8d4c102
1 parent 6a772ec
commit 8d4c102
Show file tree

Hide file tree

Showing 25 changed files with 1 addition and 2,128 deletions.
diff --git a/.gitignore b/.gitignore
@@ -155,4 +155,4 @@ dev_database.json
 
 batchhedy/output_*
 #generated grammars
-grammars-Total/
+grammars-Total/*.lark
diff --git a/grammars-Total/.keepdir b/grammars-Total/.keepdir
diff --git a/grammars-Total/level10-Total.lark b/grammars-Total/level10-Total.lark
diff --git a/grammars-Total/level11-Total.lark b/grammars-Total/level11-Total.lark
diff --git a/grammars-Total/level12-Total.lark b/grammars-Total/level12-Total.lark
diff --git a/grammars-Total/level13-Total.lark b/grammars-Total/level13-Total.lark