diff configure @ 71527:cf385170437d

(section{Structure Editing}): Document checkbox toggling.
author Carsten Dominik <dominik@science.uva.nl>
date Thu, 29 Jun 2006 10:38:45 +0000
parents e5cd81bde625
children 4d53a83f4cae ab6ab63755f7 a8190f7e546e
line wrap: on
line diff