Change the title
authorGreg Burri <greg.burri@gmail.com>
Wed, 14 Jul 2021 07:13:30 +0000 (09:13 +0200)
committerGreg Burri <greg.burri@gmail.com>
Wed, 14 Jul 2021 07:13:30 +0000 (09:13 +0200)
commitdf818a0cc2eb8f7dfc492d29d3cc0397eefefd4c
tree9a68fae459f338900340ecfbab7d0edc21b05ea6
parent14192169c496bbd090f85a7e308817e6e6027aed
Change the title
src/main.rs