From: Frederik Vanrenterghem <frederik@vanrenterghem.biz>
Date: Wed, 16 Oct 2024 12:38:42 +0000 (+0800)
Subject: Support global company-mode.
X-Git-Url: http://git.vanrenterghem.biz/Dotty.git/commitdiff_plain/6414ad5dd394ca000714a297dea55696c7116bbe?hp=6414ad5dd394ca000714a297dea55696c7116bbe

Support global company-mode.
---