annotate .hgignore @ 1539:dde3bd82cb3d

List.mapXi
author Adam Chlipala <adam@chlipala.net>
date Mon, 15 Aug 2011 10:22:09 -0400
parents 9cb923efea4d
children 1ced338f691a
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@1132 15 .deps
adamc@1132 16 .libs
adamc@1130 17 *.lo
adamc@1130 18 *.la
adamc@1154 19 *.mlton.grm
adamc@1154 20 *.mlton.lex
adamc@378 21
adamc@378 22 src/config.sml
adamc@378 23
adamc@378 24 *.exe
adamc@378 25
adamc@378 26 *.cache
adamc@378 27 *.log
adamc@378 28 *.status
adamc@380 29
adamc@380 30 demo/out/*.html
adamc@384 31 demo/demo.*
adamc@424 32
adamc@915 33 demo/more/out/*.html
adamc@915 34 demo/more/demo.*
adamc@915 35
adam@1493 36 doc/*.html
adam@1493 37
adamc@424 38 *.sql
adamc@507 39 *mlmon.out
adamc@524 40
adamc@524 41 *.aux
adamc@524 42 *.dvi
adamc@524 43 *.pdf
adamc@524 44 *.ps
adamc@540 45 *.toc
adamc@1141 46 aclocal.m4
adamc@615 47
adamc@615 48 .depend
adamc@615 49 Makefile.coq
adamc@615 50 *.vo
adamc@764 51
adamc@764 52 syntax: regexp
adamc@764 53
adamc@1132 54 ^Makefile$
adamc@1132 55 ^src/c/Makefile$
adamc@1132 56 ^src/coq/Makefile$
adamc@1132 57 ^libtool$
adamc@1263 58 ^config.h$
adamc@1263 59 ^stamp-h1$