remove unused submodule

pull/1741/head
Audric Ackermann 4 years ago
parent 66c86a3cf6
commit 97615040c3
No known key found for this signature in database
GPG Key ID: 999F434D76324AD4

@ -1 +0,0 @@
Subproject commit 5173163fe18ac575676020e2f8621cf7a2956df3
Loading…
Cancel
Save