It would be useful to have a command "option dump" that returns a list of
all resource options. The output would be like that of the shell command
"xrdb -query" but would give all the resources
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to [hidden email].