version 0.7.2

This commit is contained in:
Andreas Rumpf
2008-12-12 14:03:59 +01:00
parent ddaedab835
commit af65f91e23

View File

@@ -11,6 +11,7 @@ doc/*.html
*.tar.gz
dist
web
misc
lib/base/devel
lib/base/devel/*