opt.hidden and opt.disabled is replaced by opt.properties
authorgwen <gremond@cadoles.com>
Mon, 13 Aug 2012 10:57:18 +0000 (12:57 +0200)
committergwen <gremond@cadoles.com>
Mon, 13 Aug 2012 10:57:18 +0000 (12:57 +0200)
commit7006091c9c313640ff1049ca094709990d349871
tree2242cfa8d684e6a1bb7011d36903d2b255a442da
parent753b0a55c74793132db5eaca9e4ba39065e81c88
opt.hidden and opt.disabled is replaced by opt.properties
doc/glossary.txt
doc/status.txt
tiramisu/config.py