History of script @27e83b4c-0c20-4774-9997-41af40de6c09/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