summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorkai <kai@zittrig.eu>2020-04-07 17:52:28 +0100
committerkai <kai@zittrig.eu>2020-04-07 17:52:28 +0100
commitef0750708f2a5426c0a14e4bfbc1f3cc6eea47e0 (patch)
tree064ebe5d55977a1d203e959fbf6ede72f9728b2a /GNUmakefile
parent44e0a1932b9374bcb8a099a242bb99fef311f1ee (diff)
tell people how many extensions they have remaining, and tidy up some white spaces
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions