History of script @0deaffa4-13a0-4c6b-b4a0-8d95e1d052de/main
- Merge branch 'topic/fix-shell-script' Michael Grünewald 9 years ago
- Improve documentation Michael Grünewald 9 years ago
- Change file name in comments and guards Michael Grünewald 9 years ago
- Factor out the replacement procedure Michael Grünewald 9 years ago
- Fix headers Michael Grünewald 9 years ago
- Suppress the customised files installer Michael Grünewald 9 years ago
- Support installation of Python libraries with setuptools Michael Grünewald 9 years ago
- Support the installation of Python programs Michael Grünewald 9 years ago
- Add support for shell libraries Michael Grünewald 9 years ago
- Add support for shell scripts Michael Grünewald 9 years ago
- Update replacement pattern for BSD Make Michael Grünewald 9 years ago
- Update comments Michael Grünewald 9 years ago
- Reorganise modules Michael Grünewald 9 years ago