[BRIG] added documentation in gccbrig.texi
authorPekka Jääskeläinen <pekka.jaaskelainen@parmance.com>
Thu, 16 Nov 2017 13:59:16 +0000 (13:59 +0000)
committerPekka Jääskeläinen <visit0r@gcc.gnu.org>
Thu, 16 Nov 2017 13:59:16 +0000 (13:59 +0000)
commit6748a40f131f846d40e7c93a1a3211bd81d17812
treeac4c4888a80770b6912a5c703a98883662ad6961
parent7fb62ca1b7a7db0177e956b2d9f35d46789cfe70
[BRIG] added documentation in gccbrig.texi

From-SVN: r254820
gcc/brig/ChangeLog
gcc/brig/gccbrig.texi