annotate .hgignore @ 1142:44152f712037

Remove unneeded lib/c directory
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 Jan 2010 20:21:15 -0500
parents f6cb1cb2d7a8
children b0d632cc9edf
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@378 19
adamc@378 20 src/config.sml
adamc@378 21
adamc@378 22 *.exe
adamc@378 23
adamc@378 24 *.cache
adamc@378 25 *.log
adamc@378 26 *.status
adamc@380 27
adamc@380 28 demo/out/*.html
adamc@384 29 demo/demo.*
adamc@424 30
adamc@915 31 demo/more/out/*.html
adamc@915 32 demo/more/demo.*
adamc@915 33
adamc@424 34 *.sql
adamc@507 35 *mlmon.out
adamc@524 36
adamc@524 37 *.aux
adamc@524 38 *.dvi
adamc@524 39 *.pdf
adamc@524 40 *.ps
adamc@540 41 *.toc
adamc@1141 42 aclocal.m4
adamc@615 43
adamc@615 44 .depend
adamc@615 45 Makefile.coq
adamc@615 46 *.vo
adamc@764 47
adamc@764 48 syntax: regexp
adamc@764 49
adamc@1132 50 ^Makefile$
adamc@1132 51 ^src/c/Makefile$
adamc@1132 52 ^src/coq/Makefile$
adamc@1132 53 ^libtool$