| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | Add rudimentary Makefile | Wolfgang Müller | 2021-07-17 | -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 |