Gunnar Beutner 42b0469a96 Use /usr/bin/env instead of hard-coding paths ... fixes #7789		2014-11-21 21:59:14 +01:00
..
debian	packaging/debian: postponed	2014-11-19 16:00:04 +01:00
files	Use /usr/bin/env instead of hard-coding paths	2014-11-21 21:59:14 +01:00
RPM.md	Packages: Move rpm/RPM.md one directory up	2014-11-19 13:45:24 +01:00