Merge branch WIP back into master:
authorNiki Roo <niki@nikiroo.be>
Thu, 29 Mar 2018 06:56:26 +0000 (08:56 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 29 Mar 2018 06:59:05 +0000 (08:59 +0200)
commit6bfa27805ec903223e6e45c6f4d00e94629a064c
treefeaee7327ae3c78cf4e7d2aaecb519b54a58cee9
parenta1a900a5f36565a6b944504a1c7c22c2915748a3
parent298d405a94bd30b67ce69add67bd7c764061def4
Merge branch WIP back into master:
- use BasicSupport for all Supports working on files