tree 8f8efbc1677cf77e0a3b0c2c8df3c3d1b1596b62
parent 1c51bf12333c19942589ec32bbc59985d023412e
author Dave Cottlehuber <dch@jsonified.com> 1364339295 +0100
committer Dave Cottlehuber <dch@jsonified.com> 1364339295 +0100

use syn_otp.cmd to clean up werldir