]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
Merge branch 'prv/po' into pub/po
authorintrigeri <intrigeri@boum.org>
Mon, 20 Oct 2008 12:34:36 +0000 (14:34 +0200)
committerintrigeri <intrigeri@boum.org>
Mon, 20 Oct 2008 12:34:36 +0000 (14:34 +0200)

Trivial merge