Document IntegerRange in internal documentation.
commit899c70cdc12bd9a5b0438bbd2f3d70822c8dfccc
authormarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Jun 2018 14:41:10 +0000 (12 14:41 +0000)
committermarxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Jun 2018 14:41:10 +0000 (12 14:41 +0000)
tree69a7dbda32d486d48760019b7d1eb7232a3a69ad
parent274d31f044ac1c4610b67d2220237f0387aa367f
Document IntegerRange in internal documentation.

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

* doc/options.texi: Document IntegerRange.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261498 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/options.texi