changeset 2136:75c8f8e3f5d0

Ignore manual.out
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Apr 2015 10:01:56 -0400
parents a159625975a7
children 8ecbd1100227
files .hgignore
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Fri Apr 24 07:51:47 2015 -0400
+++ b/.hgignore	Fri Apr 24 10:01:56 2015 -0400
@@ -34,6 +34,7 @@
 demo/more/demo.*
 
 doc/*.html
+doc/*.out
 
 *.sql
 *mlmon.out