Merge branch 'clear_div' into plotter
authorDan Vanderkam <danvdk@gmail.com>
Fri, 27 Nov 2009 01:45:02 +0000 (20:45 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Fri, 27 Nov 2009 01:45:02 +0000 (20:45 -0500)

Trivial merge