diff agent/make/build-filelist @ 2896:5d4aa5672d3d

Small fix to design document.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 08 Jun 2011 14:50:07 +0200
parents a61af66fc99e
children
line wrap: on
line diff