Thu, 21 Aug 2008 10:35:12 +0200 greg fix bug in plugger.py to get URI_Location
Wed, 20 Aug 2008 10:10:34 +0200 greg move specific target runtimes to their targets directory