3 Commits

Author	SHA1	Message	Date
espie	7933e75f03	make -p optional	2010-10-27 09:04:37 +00:00
espie	d297996843	fix system for new interface	2010-10-26 21:56:40 +00:00
espie	8409f0fef7	copy some stuff to the new organization, rename find-all-conflicts to ... check-conflicts for consistency	2010-08-20 13:50:11 +00:00