OSDN Git Service

Merge branch 'master' into relative_links_in_documentation
authorMarin Jankovski <maxlazio@gmail.com>
Thu, 10 Oct 2013 13:09:12 +0000 (15:09 +0200)
committerMarin Jankovski <maxlazio@gmail.com>
Thu, 10 Oct 2013 13:09:12 +0000 (15:09 +0200)

Trivial merge