do not run distclean by default
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 8 Jan 2014 13:09:22 +0000 (13:09 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 8 Jan 2014 13:09:22 +0000 (13:09 +0000)

No differences found