filters.texi: restore mistakenly removed section name for noformat
authorAnton Khirnov <anton@khirnov.net>
Mon, 25 Feb 2013 22:01:11 +0000 (23:01 +0100)
committerAnton Khirnov <anton@khirnov.net>
Sat, 16 Mar 2013 04:35:02 +0000 (05:35 +0100)
commitef4d34aa7ee7bce9a63b308b640d56d053e5229a
tree5ff04e015f4936d5d61c5940b8fc4759439f18d5
parentdd74e3ef339e89343cb3eefc8d9e91dcad8444f0
filters.texi: restore mistakenly removed section name for noformat
doc/filters.texi