From: Ummon <greg.burri@gmail.com>
Date: Thu, 23 Apr 2020 20:53:52 +0000 (+0200)
Subject: Updating tools (WIP)
X-Git-Url: http://git.euphorik.ch/?a=commitdiff_plain;ds=sidebyside;h=dc70eed10d6eb26660d02fe8b18eebb2836ef9de;hp=dc70eed10d6eb26660d02fe8b18eebb2836ef9de;p=euphorik.git

Updating tools (WIP)
---