1 files changed, 0 insertions, 19 deletions

diff --git a/pintos-progos/examples/.gitignore b/pintos-progos/examples/.gitignore
deleted file mode 100644
index a9e09d7..0000000
--- a/pintos-progos/examples/.gitignore
+++ /dev/null
@@ -1,19 +0,0 @@
-cat
-cmp
-cp
-echo
-halt
-hex-dump
-ls
-mcat
-mcp
-mkdir
-pwd
-rm
-shell
-bubsort
-insult
-lineup
-matmult
-recursor
-*.d