diff options
| author | Erik Oosting | 2023-12-11 15:25:24 +0100 |
|---|---|---|
| committer | Erik Oosting | 2023-12-11 15:25:24 +0100 |
| commit | 0e96e69659c7c31927b7eee5c40d017b035a6471 (patch) | |
| tree | 8d037de425102e8ba6ebf0921aa7f58bacab1976 /.idea/.gitignore | |
Initial commit
Adding grammar
Diffstat (limited to '.idea/.gitignore')
| -rw-r--r-- | .idea/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.idea/.gitignore b/.idea/.gitignore new file mode 100644 index 0000000..26d3352 --- /dev/null +++ b/.idea/.gitignore @@ -0,0 +1,3 @@ +# Default ignored files +/shelf/ +/workspace.xml |