opt.hidden and opt.disabled is replaced by opt.properties
[tiramisu.git] / tiramisu /
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3838 autolib.py
-rw-r--r-- 1822 basetype.py
-rw-r--r-- 24711 config.py
-rw-r--r-- 574 error.py
-rw-r--r-- 21062 option.py
-rw-r--r-- 4965 tool.py