From: Benjamin Auder Date: Fri, 2 Feb 2018 19:30:55 +0000 (+0100) Subject: replace '#' by '+' in graph definition X-Git-Url: https://git.auder.net/images/pieces/%22%20%20VariantRules.getPpath%28board%5Bi%5D%5Bj%5D%29%20%20%20%22.svg?a=commitdiff_plain;h=6a430a228d953ec4e9fe1b7fe324becb27d9ebbf;hp=6a430a228d953ec4e9fe1b7fe324becb27d9ebbf;p=erdiag.git replace '#' by '+' in graph definition ---