diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-22 00:01:29 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-22 00:01:29 +0200 |
| commit | d9627a226f6cb00419d7f280978dccb9538297b5 (patch) | |
| tree | 060ee7351482ff7ca1f4b5d54dfe4f5a49aa469d /tools/update_man_pages.sh | |
| parent | 0c5d79313ee601bfd731b0f0f6eedbb28f33dabd (diff) | |
| download | sbotools2-d9627a226f6cb00419d7f280978dccb9538297b5.tar.xz | |
tools/cover.pl: no need to write the combined cover_db
Diffstat (limited to 'tools/update_man_pages.sh')
0 files changed, 0 insertions, 0 deletions