garbagetown/playdocja — pull request #695 by garbagetown (2014-05-10 14:33:33+00:00)
Title: Issues 617

#617 に対応しました。実質的な更新内容はないのでマージします。

2.1.5 で、コメントアウト形式がばらばらだったところ、および強調表示が壊れている箇所を数箇所発見したので、併せて修正しました。