1 Jul
2013
1 Jul
'13
4:19 p.m.
On 7/1/2013 5:13 PM, R. David Murray wrote:
distclean still needs to be fixed, so please open a new issue for adding buildclean or whatever you want to call it, as Eric requested in the existing issue.
I finally got around to testing it today, so I'm going to check in my change to 18312 sometime shortly. -- Eric.