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)
improve interactive behavior a bit more


Trivial merge