chiark / gitweb /
~mdw / distorted-chroot / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e46b835 44dfbdf)
Merge branch 'master' into deploy
authorMark Wooding <mdw@distorted.org.uk>
Mon, 15 Jun 2020 17:01:12 +0000 (18:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 15 Jun 2020 17:01:12 +0000 (18:01 +0100)
* master:
  Makefile: Include C++ headers in the cross-tools bundle.


Trivial merge
Machinery for managing Debian (host and cross-) build chroots.