summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorfpi2020-07-16 08:55:22 +0200
committerfpi2020-07-16 08:56:13 +0200
commit4fcde17f96ada0c57ca42bb094f6ff5ae428f77e (patch)
tree0b94d23121b1b1b356d9a50d21b747754e77ef76 /.gitignore
parentAdd make install target for fresh installations (diff)
Add explicit make targets for readme tangles
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions