1 Oct
2007
1 Oct
'07
6:27 p.m.
I forgot to update usage information of Tabbed after reintroducing the Shrinker configuration option. Andrea Mon Oct 1 10:22:19 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * Tabbed: updated usage information