diff .hgignore @ 15:da4c47650d38

minor edits to types.org
author Robert McIntyre <rlm@mit.edu>
date Sun, 05 Feb 2012 11:24:40 -0700
parents a227fe337e83
children
line wrap: on
line diff