X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2F.gitignore;fp=config%2F.gitignore;h=282522db0342d8750454b3dc162493b5fc709cc8;hb=5f53ff1a746b0654bf3ea93ed4280b74f0cf2201;hp=0000000000000000000000000000000000000000;hpb=73f67789df91a09ee91976434fb15c2ee1fb5e78;p=pspp

diff --git a/config/.gitignore b/config/.gitignore
new file mode 100644
index 0000000000..282522db03
--- /dev/null
+++ b/config/.gitignore
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in