X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=interpreters%2Fnitfol%2F.svnignore;fp=interpreters%2Fnitfol%2F.svnignore;h=a88cd385837264fed105d15840d1b0b12aebd42e;hb=2c42a309e26f313d2cddc2910019e96305ab1e57;hp=7899903d1cab7bbb75fbde7deb05b14ecc5bbbed;hpb=a3d91c0ef8fdc6165b4619790e133641036068ad;p=rodin%2Fchimara.git diff --git a/interpreters/nitfol/.svnignore b/interpreters/nitfol/.svnignore index 7899903..a88cd38 100644 --- a/interpreters/nitfol/.svnignore +++ b/interpreters/nitfol/.svnignore @@ -7,5 +7,6 @@ dbg_help.h dbg_help.texi options.texi startunix.c +inform.c texinfo.tex