]> git.parisson.com Git - timeside-diadems.git/commitdiff
Merge branch 'dev'
authorGuillaume Pellerin <yomguy@parisson.com>
Sun, 10 Nov 2013 08:16:34 +0000 (09:16 +0100)
committerGuillaume Pellerin <yomguy@parisson.com>
Sun, 10 Nov 2013 08:16:34 +0000 (09:16 +0100)
Conflicts:
doc/source/news.rst


Trivial merge