Remove unneeded directory

This commit is contained in:
Marko Korhonen 2020-07-05 11:23:53 +03:00
parent 9b65ff59fe
commit 5cb1a08052

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