chiark / gitweb /
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)
commit089b4175cd60b472efa997a9a6e9185c98f65e8c
tree81bcb1a21088cc2189b742daf5c1fc9a7b196fa8
parente46b83564762947004b1eeea5b38ff50766a3e82
parent44dfbdf59586d6f914e027080e22686007a523ad
Merge branch 'master' into deploy

* master:
  Makefile: Include C++ headers in the cross-tools bundle.