diff options
| author | Wolfgang Müller | 2021-07-17 15:59:39 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-07-17 15:59:39 +0200 |
| commit | 75fc929b9dbda987abfbf7988ea8b002ec857b1b (patch) | |
| tree | 71fac98194fff0296c07dce75d172fee930f7622 /LICENSE | |
| parent | a75e8b3ebb41eebbb3d6a28a8b6561ad235d8a93 (diff) | |
| download | git-helpers-75fc929b9dbda987abfbf7988ea8b002ec857b1b.tar.gz | |
Add rudimentary Makefile
With the addition of another manual it is high time we add a convenient
way of installing both the tools and the manuals.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions