History of script @733d937f-895a-4545-9eb5-6384b21aa35f/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