An additional ui*() API cleanup that I missed.
[games.git] / usr.bin / gensetdefs /
drwxr-xr-x   ..
-rw-r--r-- 296 Makefile
-rw-r--r-- 988 gensetdefs.8
-rw-r--r-- 9250 gensetdefs.c