OSDN Git Service

Merged in gerundt/winmerge (pull request #35)
authorTakashi Sawanaka <sdottaka@users.sourceforge.net>
Sat, 30 Mar 2019 00:18:55 +0000 (00:18 +0000)
committerTakashi Sawanaka <sdottaka@users.sourceforge.net>
Sat, 30 Mar 2019 00:18:55 +0000 (00:18 +0000)
Some tweaks for the manual


Trivial merge