]> git.piffa.net Git - rover/commitdiff
Merge branch 'functions' into macchina
authorAndrea Manni <andrea@piffa.net>
Thu, 6 Apr 2017 10:14:37 +0000 (12:14 +0200)
committerAndrea Manni <andrea@piffa.net>
Thu, 6 Apr 2017 10:14:37 +0000 (12:14 +0200)

Trivial merge