diff org/ideas.org @ 571:819968c8a391

minor corrections.
author Robert McIntyre <rlm@mit.edu>
date Mon, 02 Mar 2015 10:04:16 -0800
parents 763d13f77e03
children
line wrap: on
line diff