]> saetta.ns0.it Git - reptool/libreptool/commitdiff
Merge branch 'develop' into debian/sid
authorAndrea Zagli <azagli@libero.it>
Sat, 21 Jan 2017 16:40:33 +0000 (17:40 +0100)
committerAndrea Zagli <azagli@libero.it>
Sat, 21 Jan 2017 16:40:33 +0000 (17:40 +0100)

Trivial merge