ChangeLog
author alpar
Mon, 04 Sep 2006 19:12:44 +0000
changeset 2194 eaf16c8f6fef
child 928 71dc900ee30f
permissions -rw-r--r--
'make doc' is now working also in case of external build.