OSDN Git Service

* frontends.texi: Add missing line.