Dev build (July 12, 2020)

dev-2020-01-30

Added 'list bases' to show name and location of all Pather and Pirate bases.

Dev build (January 30, 2020)

dev-2020-01-30

Clean documentation before building