Allow "" as a valid value in a OptionsBox menu (reported by Guido Schimmels).
[rox-lib.git] / python / 
tree51d5522fe5fe550c0f3f60e9413d11fed73c4d94
drwxr-xr-x   ..
-rwxr-xr-x 10506 make_docs.py
drwxr-xr-x - rox