chiark / gitweb /
Change engine repo to use ssh.
authordaid <daid303@gmail.com>
Thu, 30 Oct 2014 16:00:34 +0000 (17:00 +0100)
committerdaid <daid303@gmail.com>
Thu, 30 Oct 2014 16:00:34 +0000 (17:00 +0100)
commit9adaafc1c0d9468a3d18e743bc3bd1a39b0a139a
treed24c9ef2bfb41e52192dfaf66ad7087d284eafd6
parentf5a2ccd1ddc2998d26414e6ab7da316149c0af70
Change engine repo to use ssh.
package.sh