Ignore *.d files.

[pintos-anon] / src / examples / lib / user / .dummy

diff --git a/src/examples/lib/user/.dummy b/src/examples/lib/user/.dummy
deleted file mode 100644 (file)
index e69de29..0000000