diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-06-29 19:06:32 +0200 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-06-29 19:06:32 +0200 |
| commit | f004ab49d0682c83f8a0a6323a29aa81a143b3d9 (patch) | |
| tree | 04ba83590bd1699eb6ba4770ca07e39e0e0c10f5 /Makefile | |
| parent | 15400ceb3d746eb90d47c2ca82e48a9a0264ccfd (diff) | |
| download | dwim-f004ab49d0682c83f8a0a6323a29aa81a143b3d9.tar.gz | |
Handle optional colon after manual.section
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions