Merged branch dev-0.4
[poldi.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 920 ChangeLog
-rw-r--r-- 808 Makefile.am
-rw-r--r-- 18411 gpl.texi
-rwxr-xr-x 5631 mdate-sh
-rw-r--r-- 19889 poldi.texi
-rw-r--r-- 284143 texinfo.tex