Updating tools (WIP)
authorUmmon <greg.burri@gmail.com>
Thu, 23 Apr 2020 20:53:52 +0000 (22:53 +0200)
committerUmmon <greg.burri@gmail.com>
Thu, 23 Apr 2020 20:53:52 +0000 (22:53 +0200)
commitdc70eed10d6eb26660d02fe8b18eebb2836ef9de
tree805732772ae4e29c1bcf99656923860c9e96e9e7
parent808fb60f6c10dfcaccee94c6a49f768de84dc2ef
Updating tools (WIP)
tools/tools.erl
tools/update_server.erl