wip

[talk-2019-ghm-rust.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c31bfc59f61a1d851b71bb1302c682b20455b795..c48427e48ce50e715e173d59f0ee9a91f993e013 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@ mm0.ps
 mm.ps
 borrow-mut.ps
 dangling.ps
+borrow-nonmut.ps
 bck-lifetimes.ps
 macros.ps
 *.1