annotate .hgignore @ 1117:31ef567fa772

Clear script_header in uw_reset()
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 Jan 2010 13:30:27 -0500
parents bed675db3aff
children 67d875c8ac71
rev   line source
adamc@0 1 syntax: glob
adamc@0 2
adamc@0 3 *~
adamc@0 4 .cm
adamc@0 5 src/.cm
adamc@0 6
adamc@0 7 bin/*
adamc@0 8
adamc@244 9 src/urweb.cm
adamc@244 10 src/urweb.mlb
adamc@1 11
adamc@1 12 *.lex.*
adamc@1 13 *.grm.*
adamc@102 14 *.o
adamc@1095 15 *.do
adamc@1095 16 *.so.*
adamc@378 17
adamc@378 18 src/config.sml
adamc@378 19
adamc@378 20 *.exe
adamc@378 21
adamc@378 22 *.cache
adamc@378 23 *.log
adamc@378 24 *.status
adamc@380 25
adamc@380 26 demo/out/*.html
adamc@384 27 demo/demo.*
adamc@424 28
adamc@915 29 demo/more/out/*.html
adamc@915 30 demo/more/demo.*
adamc@915 31
adamc@424 32 *.sql
adamc@507 33 *mlmon.out
adamc@524 34
adamc@524 35 *.aux
adamc@524 36 *.dvi
adamc@524 37 *.pdf
adamc@524 38 *.ps
adamc@540 39 *.toc
adamc@615 40
adamc@615 41 .depend
adamc@615 42 Makefile.coq
adamc@615 43 *.vo
adamc@764 44
adamc@764 45 syntax: regexp
adamc@764 46
adamc@764 47 ^Makefile
adamc@764 48 ^src/coq/Makefile