[multiple changes]
commit25ea36594733d8f13be3f0982c9bfe58f51c6319
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 15 Dec 2017 11:20:34 +0000 (15 11:20 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 15 Dec 2017 11:20:34 +0000 (15 11:20 +0000)
tree6442a6f42d0f823149c2f5146c68556d76156ee3
parentb3801819f495f925bc7c26f03e4e98f448423839
[multiple changes]

2017-12-15  Patrick Bernardi  <bernardi@adacore.com>

* gnat_ugn.texi: Regenerate.

2017-12-15  Bob Duff  <duff@adacore.com>

* gnatvsn.ads: Minor comment fixes.

From-SVN: r255686
gcc/ada/ChangeLog
gcc/ada/gnat_ugn.texi
gcc/ada/gnatvsn.ads