]> git.ipfire.org Git - thirdparty/vectorscan.git/commitdiff
Merge pull request #231 from jlinton/develop-add-man-pages
authorKonstantinos Margaritis <markos@users.noreply.github.com>
Tue, 12 Mar 2024 08:34:09 +0000 (10:34 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Mar 2024 08:34:09 +0000 (10:34 +0200)
Add man page generation, change man section, update docs to reflect name change, and couple other tweaks


Trivial merge