projects
/
rodin
/
chimara.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Played around with nitfol build process, adding rules to generate the
[rodin/chimara.git]
/
interpreters
/
nitfol
/
.svnignore
diff --git
a/interpreters/nitfol/.svnignore
b/interpreters/nitfol/.svnignore
index 3045c518dc88949b73a7bd759f200a96e0dfc1fa..9c2b59c44b4db1eaa11d5560b03498a25568d30e 100644
(file)
--- a/
interpreters/nitfol/.svnignore
+++ b/
interpreters/nitfol/.svnignore
@@
-2,3
+2,4
@@
.libs
Makefile.in
Makefile
+texinfo.tex