X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=interpreters%2Fnitfol%2F.svnignore;h=7899903d1cab7bbb75fbde7deb05b14ecc5bbbed;hb=e19999d621c396204f9af71df0d0607a7a9f1be4;hp=9c2b59c44b4db1eaa11d5560b03498a25568d30e;hpb=1891acead564eef9bbf7a76e9e9c4f710a7057ce;p=rodin%2Fchimara.git diff --git a/interpreters/nitfol/.svnignore b/interpreters/nitfol/.svnignore index 9c2b59c..7899903 100644 --- a/interpreters/nitfol/.svnignore +++ b/interpreters/nitfol/.svnignore @@ -2,4 +2,10 @@ .libs Makefile.in Makefile +copying.c +dbg_help.h +dbg_help.texi +options.texi +startunix.c texinfo.tex +