mirror of
https://github.com/nasa/trick.git
synced 2025-01-31 00:24:03 +00:00
11fb71f036
First step to updating man pages, renaming pages to match executable name and deleting man pages for commands long gone. refs #253