chiark / gitweb /
Merge branch 'deploy' into deploy.spirit
authorMark Wooding <mdw@distorted.org.uk>
Mon, 15 Jun 2020 17:01:25 +0000 (18:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 15 Jun 2020 17:01:25 +0000 (18:01 +0100)
commit3b694b5697673a2664e193186e9917960150d7ba
tree087384b7a6603303ad9ef5734c2af21479ab18fd
parent691926fedae011dcd0b980ce77fe7ce7ab60aab5
parent089b4175cd60b472efa997a9a6e9185c98f65e8c
Merge branch 'deploy' into deploy.spirit

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