Fix prctl SET_NAME and GET_NAME behaviour.

[rust.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d32d9eb99afd2b7b242a2c6c62ed1b571c5cb10f..389565791c00f3b6c5fcf484511ec4069df13867 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,5 +2,4 @@ target
 /doc
 tex/*/out
 *.dot
-*.mir
 *.rs.bk