doc: remove a redundant numfmt heading from texinfo
commite57d5c2bf8f5648b92b85e6ea3090dba3c71ea1a
authorPádraig Brady <P@draigBrady.com>
Mon, 4 Mar 2013 00:50:51 +0000 (4 00:50 +0000)
committerPádraig Brady <P@draigBrady.com>
Wed, 6 Mar 2013 16:15:23 +0000 (6 16:15 +0000)
treebeb904b65ce1e10d8bbfbf6193158ed929235464
parent78cd77c16fb2af497592c6cfd1cbd168ffa5f2b0
doc: remove a redundant numfmt heading from texinfo

* doc/coreutils.texi (detailmenu): Remove the redundant numfmt heading.
doc/coreutils.texi