OSDN Git Service

Merge pull request #1814 from hardchor/patch-1
authorRiyad Preukschas <riyad@informatik.uni-bremen.de>
Thu, 25 Oct 2012 20:50:58 +0000 (13:50 -0700)
committerRiyad Preukschas <riyad@informatik.uni-bremen.de>
Thu, 25 Oct 2012 20:50:58 +0000 (13:50 -0700)
Some grammatical improvements


Trivial merge