[multiple changes]
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 16 Nov 2017 15:49:46 +0000 (15:49 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 16 Nov 2017 15:49:46 +0000 (15:49 +0000)
commitc82387ccc48a6659b3d4cd206cab30f87894ca0e
tree4c23603da6756bcc8521f9bbefe8bb86d5e8cafe
parenta3f9da7084c378dddf7194e3a74208755c8796bd
[multiple changes]

2017-11-16  Joel Brobecker  <brobecker@adacore.com>

* doc/gnat_ugn/gnat_utility_programs.rst: Document the switches
available in gnatsymbolize.

2017-11-16  Steve Baird  <baird@adacore.com>

* debug.adb: Update comment to indicate gnat2scil's use of the -gnatd.7
switch.

From-SVN: r254826
gcc/ada/ChangeLog
gcc/ada/debug.adb
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst