Remove old submodule path

This commit is contained in:
Ernesto Castellotti 2019-07-11 17:37:19 +02:00
parent 534550839c
commit a455e21c9b
1 changed files with 0 additions and 1 deletions

@ -1 +0,0 @@
Subproject commit 1125271c2756ee1db1303918816fea35e08b3405