rename pride flags followup #5

Merged
fox merged 1 commits from rename into main 2022-12-09 06:41:25 +00:00

1 Commits (main)

Author SHA1 Message Date
fox cfe2c7ded8 shorten some names and switch progress flags 2022-12-09 00:35:22 -06:00