From: Christian Heller Date: Fri, 25 Dec 2020 00:47:38 +0000 (+0100) Subject: Fix wrongly named collision property. X-Git-Url: https://plomlompom.com/repos/%7B%7Bprefix%7D%7D/copy_structured?a=commitdiff_plain;h=bbeb0b2366ae52a9c899c2ca60bdf68db1d342dc;hp=bbeb0b2366ae52a9c899c2ca60bdf68db1d342dc;p=rc3_plom_map Fix wrongly named collision property. ---