Revision 25a2053d
ID: 25a2053d569aa382195b62f4d8f7a92bb11a2f3b
use /usr/bin/env instead of /bin/env
Files
- added
- modified
- copied
- renamed
- deleted
ID: 25a2053d569aa382195b62f4d8f7a92bb11a2f3b
Added by Tobias Hintze over 1 year ago
use /usr/bin/env instead of /bin/env