Remove config from repo
authorGreg Burri <greg.burri@gmail.com>
Fri, 25 Nov 2022 12:15:33 +0000 (13:15 +0100)
committerGreg Burri <greg.burri@gmail.com>
Fri, 25 Nov 2022 12:15:33 +0000 (13:15 +0100)

No differences found