diff options
author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 16:02:33 +0100 |
---|---|---|
committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 16:02:33 +0100 |
commit | b300f3c047a606024db2098523c8fff70721c716 (patch) | |
tree | 2cf7ba3456269f5e770c0f0aa40a16dac1ca2a55 /user-config.default.bash | |
parent | 7e41bec85b1299edd6f7eebb160296e4ec97da81 (diff) |
Use the provided sample.* files
Do not longer rely on them being symlinked to the target directories.
Also, fix small error in make_install.sh:main() ($1 -> $2).
And add some comments.
Diffstat (limited to 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions