]> rtime.felk.cvut.cz Git - pes-rpp/rpp-test-sw.git/commitdiff
Merge branch 'master' of ssh://rtime.felk.cvut.cz/rpp-test-sw
authorMichal Horn <hornmich@fel.cvut.cz>
Thu, 26 Jun 2014 12:45:33 +0000 (14:45 +0200)
committerMichal Horn <hornmich@fel.cvut.cz>
Thu, 26 Jun 2014 12:45:33 +0000 (14:45 +0200)

Trivial merge