diff agent/make/mkinstall @ 2944:cc4b538852e3

Merge.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 09 Jun 2011 17:34:10 +0200
parents a61af66fc99e
children 4fe850c65ed1
line wrap: on
line diff