* ExtraDist() did not work if called with File nodes. Fixed. * Explicitly added some files (which are no longer installed since r395) to the 'dist' target. git-svn-id: https://svn.ibp.de/svn/capisuite/trunk/capisuite@397 4ebea2bb-67d4-0310-8558-a5799e421b66master
parent
98b1d5542f
commit
4f85ff54d0
Loading…
Reference in new issue