Merge pull request #4 from pmundkur/devel
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 4 Dec 2015 22:45:28 +0000 (14:45 -0800)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 4 Dec 2015 22:45:28 +0000 (14:45 -0800)
Add a top-level make clean target.


Trivial merge