]> git.piffa.net Git - rover/commitdiff
Merge branch 'functions' of kim:/home/git/rover into functions
authorAndrea Manni <andrea@piffa.net>
Wed, 5 Apr 2017 15:34:41 +0000 (17:34 +0200)
committerAndrea Manni <andrea@piffa.net>
Wed, 5 Apr 2017 15:34:41 +0000 (17:34 +0200)

Trivial merge