Mercurial > urweb
annotate .hgignore @ 1099:118ab9641a64
ctextarea; s/header/include in the manual
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 29 Dec 2009 13:34:03 -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 |