diff options
| author | kai <kai@zittrig.eu> | 2020-04-07 17:52:28 +0100 |
|---|---|---|
| committer | kai <kai@zittrig.eu> | 2020-04-07 17:52:28 +0100 |
| commit | ef0750708f2a5426c0a14e4bfbc1f3cc6eea47e0 (patch) | |
| tree | 064ebe5d55977a1d203e959fbf6ede72f9728b2a /GNUmakefile | |
| parent | 44e0a1932b9374bcb8a099a242bb99fef311f1ee (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