Drop git submodule structure

The workflow is getting a little messy with these, so we're just going
to merge those repositories in.
This commit is contained in:
Arun Raghavan 2019-11-03 14:50:50 +01:00
parent 57299ec491
commit 59bdab94bc
4 changed files with 0 additions and 12 deletions

@ -1 +0,0 @@
Subproject commit a52d6bc2d3989cfc2bf75639e9a81941c0b685ed