changeset 10512 | d34192966cd8 |
parent 9789 | 7e5e6c47c0b5 |
child 14981 | e73f8140af78 |
10511:efb3428c9879 | 10512:d34192966cd8 |
---|---|
1 # |
1 # -*- shell-script -*- |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 # |
5 # |
6 # patch-scripts.bash - relocate interpreter paths of executable scripts and |
6 # patch-scripts.bash - relocate interpreter paths of executable scripts and |