Fix prctl SET_NAME and GET_NAME behaviour.

[rust.git] / .gitignore

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