diff --git a/.gitignore b/.gitignore index 26ef54f..e4583d0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,9 @@ build.ninja .ninja_log +.ninja_deps build/ + + core *.cmx *.cml diff --git a/.ninja_deps b/.ninja_deps deleted file mode 100644 index e5675ec..0000000 Binary files a/.ninja_deps and /dev/null differ