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)
commit35cbc0eb62e016907152cd64657a16513a7fa658
tree8ebae2235be0fa4f8f0e57ff663012f887f892e9
parentcaf75e56098456eb89ce1071e87eef398d8f26fd
parentfeb75e8be84e8a491486d89fb8a9fd19f5543408
Merge pull request #4 from pmundkur/devel

Add a top-level make clean target.