Philipp Möller 9d787a64ee Add a filelist to doc/package in a release ...

During release creation check which headers are actually part of a
package, write a list and move that list to doc/package_name

2015-12-03 16:05:35 +01:00

..

developer_scripts

Add a filelist to doc/package in a release

2015-12-03 16:05:35 +01:00

package_info/Scripts

remove executable property from copyright files

2011-10-03 08:18:16 +00:00

scripts

remove mentions of Qt3

2015-10-05 15:19:58 +02:00

dont_submit

remove empty lines at end of dont_submit files

2012-11-27 08:35:33 +01:00