chiark / gitweb /
Merge pull request #988 from rcarmo/debian_armhf
authordaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:23:36 +0000 (10:23 +0200)
committerdaid <daid303@gmail.com>
Mon, 20 Oct 2014 08:23:36 +0000 (10:23 +0200)
commit8b7bc669be489263926dc8ac3243c495121e554f
tree6b29dc60f89c82ab74250fb7a78291ec0af98825
parent29d10ed05981cdc52d47d006d25b2d75d8af0449
parentf1b7bbf6d368171a2ff7a17f531fb5b170eabf04
Merge pull request #988 from rcarmo/debian_armhf

Working armhf build on ODROID-U3 running Ubuntu 14.04.1