annotate .hgignore @ 1732:4a03aa3251cb

Initial support for reusing elaboration results
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 13:17:31 -0400
parents 705cb41ac7d0
children d2ec62c5ad81
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@615 46
adamc@615 47 .depend
adamc@615 48 Makefile.coq
adamc@615 49 *.vo
adam@1618 50 *.v.d
adam@1618 51 *.glob
adamc@764 52
adam@1592 53 xml/parse
adam@1592 54 xml/entities.sml
adam@1592 55
adamc@764 56 syntax: regexp
adamc@764 57
adamc@1132 58 ^Makefile$
adamc@1132 59 ^src/c/Makefile$
adamc@1132 60 ^libtool$
adamc@1263 61 ^config.h$
adamc@1263 62 ^stamp-h1$