Commit message (Collapse) | Author | Lines | ||
---|---|---|---|---|
2021-07-17 | Add rudimentary Makefile | Wolfgang Müller | -0/+7 | |
With the addition of another manual it is high time we add a convenient way of installing both the tools and the manuals. |
index : git-helpers | ||
A collection of helper scripts for git(1) |
aboutsummaryrefslogtreecommitdiffstats |
Commit message (Collapse) | Author | Lines | ||
---|---|---|---|---|
2021-07-17 | Add rudimentary Makefile | Wolfgang Müller | -0/+7 | |
With the addition of another manual it is high time we add a convenient way of installing both the tools and the manuals. |