Merge branch 'js/merge-edit-option'
authorJunio C Hamano <redacted>
Mon, 5 Dec 2011 19:15:52 +0000 (11:15 -0800)
committerJunio C Hamano <redacted>
Mon, 5 Dec 2011 19:15:52 +0000 (11:15 -0800)
* js/merge-edit-option:
  Documentation: fix formatting error in merge-options.txt


Trivial merge
git clone https://git.99rst.org/PROJECT