K 10
svn:author
V 5
garga
K 8
svn:date
V 27
2006-08-11T19:00:12.000000Z
K 7
svn:log
V 102
Permit big_todo and ext_todo be applied together

Reported by:	Carlos A. Talhati <cat at iqsc.usp.br>

END