diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
commit | 6ae44229dedb893410bd9cec34a9435f9c233f40 (patch) | |
tree | ba3a421eb55a270e3efb11048ad29376b3173ce4 /scripts/Makefile | |
parent | 76febac7dd6290d1ca070a0d3ba65a4fa654bded (diff) | |
download | vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.tar.gz vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.zip |
Fix man file generation
Diffstat (limited to 'scripts/Makefile')
0 files changed, 0 insertions, 0 deletions