diff org/ideas.org @ 393:02cc0734a976

extra options.
author Robert McIntyre <rlm@mit.edu>
date Tue, 05 Nov 2013 16:51:15 -0500
parents 30376c1c67c1
children 763d13f77e03
line wrap: on
line diff