X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2F.gitignore;fp=src%2Flanguage%2Futilities%2F.gitignore;h=0000000000000000000000000000000000000000;hb=258cbd9cdf386687122b0854274923acafc786d4;hp=0ce9268fdfd36995c49da9ac0bd2be98b33accf4;hpb=ee4b996842013f259812700adafdea36a594d394;p=pspp

diff --git a/src/language/utilities/.gitignore b/src/language/utilities/.gitignore
deleted file mode 100644
index 0ce9268fdf..0000000000
--- a/src/language/utilities/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-set.c