rename pride flags followup #5

Merged

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

Conversation 0 Commits 1 Files Changed 13

1 Commits (main)

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