Merge pull request #24 from vapier/master
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Thu, 4 Jun 2015 23:06:47 +0000 (16:06 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Thu, 4 Jun 2015 23:06:47 +0000 (16:06 -0700)
commit79fbc15198fd83fd0413a002b23060deb8facb37
treedf4280c9c21b2cfa3fc8add3cc6a82b1a749386a
parent4a430f64c74dc3fd96843a76c09021a1a4cdfbcf
parent484431e7f86371b205692cffc353b42c6de40250
Merge pull request #24 from vapier/master

improve interactive behavior a bit more