Index: doc/proposals/concurrency/.gitignore
===================================================================
--- doc/proposals/concurrency/.gitignore	(revision 9b4343e0296593e10a0ebb8aaafd4a27e4808162)
+++ doc/proposals/concurrency/.gitignore	(revision c2183a3e0a8e3d9af49d0a4adad59edcd0b48c36)
@@ -18,2 +18,4 @@
 concurrency.ps
 version.aux
+monitor.tex
+ext_monitor.tex