X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.hgignore;fp=.hgignore;h=5512c6bc06cd2cd39b6f786dc36ed532d9e6544e;hb=5ce06c3326a2672e82dc656b35eb7a3e6616539a;hp=4384d4eafa7cdfd9df8734c1de131204e185b084;hpb=67ab344a88ac20a79a1f5bc2ea1dbe623a383ec8;p=virt-mem.git diff --git a/.hgignore b/.hgignore index 4384d4e..5512c6b 100644 --- a/.hgignore +++ b/.hgignore @@ -1,5 +1,6 @@ syntax:glob Makefile +Make.rules *~ *.opt *.annot @@ -7,6 +8,9 @@ Makefile *.cmo *.cmx *.o +*.a +*.cma +*.cmxa autom4te.cache config.h config.h.in @@ -14,5 +18,4 @@ config.log config.status configure gmon.out -virt-mem -virt_mem_gettext.ml +lib/virt_mem_gettext.ml