Dan Buch ed0033984b Generate flag types (again?) ... Closes #1381		2022-05-01 23:02:05 -04:00
..
genflags	Generate flag types (again?)	2022-05-01 23:02:05 -04:00