diff options
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index baf7c7959..1e5464ffe 100644 --- a/.gitignore +++ b/.gitignore @@ -12,9 +12,7 @@ b~*.ad? testsuite/get_entities # Generated files on windows. -./build/ -./dist/mcode/build/ -./dist/mcode/lib/ +/build/ # Generated directories on Linux lib/ |