Remove unneeded directory

This commit is contained in:
Marko Korhonen 2020-07-05 11:23:53 +03:00
parent 4821ee8e01
commit 00ef02f104

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