chiark / gitweb /
Make sure the engine is always build clean and from scratch.
authordaid <daid303@gmail.com>
Tue, 1 Oct 2013 15:51:49 +0000 (17:51 +0200)
committerdaid <daid303@gmail.com>
Tue, 1 Oct 2013 15:51:49 +0000 (17:51 +0200)
commitf800860c1c6b0e93621c151263c1d7a9ff314c56
tree586ede20bfa52f5c7fce4c9a50707585f67aec56
parent2de8becb4000ab530538e230276070edc75c00ac
Make sure the engine is always build clean and from scratch.
package.sh