chiark / gitweb /
Merge pull request #264 from jedahan/master
authordaid <daid303@gmail.com>
Tue, 20 Nov 2012 08:43:24 +0000 (00:43 -0800)
committerdaid <daid303@gmail.com>
Tue, 20 Nov 2012 08:43:24 +0000 (00:43 -0800)
Allow cancelling the automatic installation of dependencies


Trivial merge