[PATCH] Document IntegerRange in internal documentation.

[Martin Liška]

Hi.

The patch is mentioning IntegerRange in documentation.

Ready for trunk?
Martin

gcc/ChangeLog:

2018-06-12  Martin Liska  <mliska@suse.cz>

	* doc/options.texi: Document IntegerRange.
---
 gcc/doc/options.texi | 5 +++++
 1 file changed, 5 insertions(+)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Document-IntegerRange-in-internal-documentation.patch
Type: text/x-patch
Size: 686 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20180612/834364ee/attachment.bin>