diff org/util.org @ 244:f23217324f72

changed semantics of feeler lengths
author Robert McIntyre <rlm@mit.edu>
date Sun, 12 Feb 2012 14:29:09 -0700
parents f5ea63245b3b
children d1206b11ae2d
line wrap: on
line diff