Author: richter Date: Mon Apr 4 14:58:39 2011 New Revision: 2503 Log: delete obsolete dist folder this wasn't properly deleted when it was renamed to plugins Deleted: trunk/tools/testbed/pisa-testbed_vms/dist/debian/build trunk/tools/testbed/pisa-testbed_vms/dist/debian/files/DEBIAN/control trunk/tools/testbed/pisa-testbed_vms/dist/debian/files/etc/hostname trunk/tools/testbed/pisa-testbed_vms/dist/openwrt/build trunk/tools/testbed/pisa-testbed_vms/dist/openwrt/dot_config_linksys trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/README.diskdefines trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/build trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/files/etc/apt/sources.list trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/files/etc/casper.conf trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/files/etc/ssh/sshd_config trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/files/sbin/initctl trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/isolinux.cfg trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/pkg_list trunk/tools/testbed/pisa-testbed_vms/dist/ubuntu_live/prepare trunk/tools/testbed/pisa-testbed_vms/dist/vbox/build trunk/tools/testbed/pisa-testbed_vms/dist/vbox/prepare -- This is the pisa developer mailing list. Please also subscribe to the main pisa list at: //www.freelists.org/list/pisa