From: mgt <mgt@oi-wiki.org>
Date: Tue, 10 Nov 2020 04:33:09 +0000 (+0800)
Subject: Merge pull request #2787 from xingjiapeng/geany-patch
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=ee143ab5596e90d115708bd3ee243986050a819c;p=oi-wiki%2Fmain.git

Merge pull request #2787 from xingjiapeng/geany-patch
---

ee143ab5596e90d115708bd3ee243986050a819c