Remove bad naming

This commit is contained in:
Thomas Dehaeze 2020-11-12 08:56:21 +01:00
parent afd5304530
commit 61befaf9ed

@ -1 +0,0 @@
Subproject commit 02795035f4b5959908a5740e1a2bb8ace51841fb