diff THIRD_PARTY_README @ 7778:6b540bb82312

Fixed clean should clean also generated source directories.
author Christian Humer <christian.humer@gmail.com>
date Tue, 12 Feb 2013 14:33:24 +0100
parents f6ba9007b2c6
children 9a48187fef5e
line wrap: on
line diff