History of script @3be085fa-3f5d-4fb9-bc77-6982259891e3/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