Mercurial > urweb
annotate .hgignore @ 968:b8048f6e25ef
New release
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 16:18:54 -0400 |
parents | 5e8b6fa5b48f |
children | bed675db3aff |
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@378 | 15 |
adamc@378 | 16 src/config.sml |
adamc@378 | 17 |
adamc@378 | 18 *.exe |
adamc@378 | 19 |
adamc@378 | 20 *.cache |
adamc@378 | 21 *.log |
adamc@378 | 22 *.status |
adamc@380 | 23 |
adamc@380 | 24 demo/out/*.html |
adamc@384 | 25 demo/demo.* |
adamc@424 | 26 |
adamc@915 | 27 demo/more/out/*.html |
adamc@915 | 28 demo/more/demo.* |
adamc@915 | 29 |
adamc@424 | 30 *.sql |
adamc@507 | 31 *mlmon.out |
adamc@524 | 32 |
adamc@524 | 33 *.aux |
adamc@524 | 34 *.dvi |
adamc@524 | 35 *.pdf |
adamc@524 | 36 *.ps |
adamc@540 | 37 *.toc |
adamc@615 | 38 |
adamc@615 | 39 .depend |
adamc@615 | 40 Makefile.coq |
adamc@615 | 41 *.vo |
adamc@764 | 42 |
adamc@764 | 43 syntax: regexp |
adamc@764 | 44 |
adamc@764 | 45 ^Makefile |
adamc@764 | 46 ^src/coq/Makefile |