]> rtime.felk.cvut.cz Git - edu/osp-wiki.git/commitdiff
Merge branch 'master' of rtime.felk.cvut.cz:/edu/osp-wiki
authorPavel Pisa <pisa@cmp.felk.cvut.cz>
Thu, 2 May 2013 11:47:24 +0000 (13:47 +0200)
committerPavel Pisa <pisa@cmp.felk.cvut.cz>
Thu, 2 May 2013 11:47:24 +0000 (13:47 +0200)

Trivial merge