- Fixed "unterminated sed command".
[ginac.git] / doc / reference /
drwxr-xr-x   ..
-rw-r--r-- 17335 DoxyfileHTML
-rw-r--r-- 17314 DoxyfileTEX
-rw-r--r-- 311 Doxyfooter
-rw-r--r-- 2546 Makefile.am
-rw-r--r-- 9051 Makefile.in