History of script @1dc0a30e-39ec-4561-9776-d67f891ec076/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