[Ada] Rename "GPL Edition" into "Community Edition"
authorValentine Reboul <reboul@adacore.com>
Mon, 11 Jun 2018 09:16:49 +0000 (09:16 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 11 Jun 2018 09:16:49 +0000 (09:16 +0000)
commit51b84f99dca6308f581da724faf7f4646d991f1a
treec49b677a8b1796850eb62f265949a075c00f8e49
parent73dc56ea3dbfabfadbedf32d0a8d332f9d5ad116
[Ada] Rename "GPL Edition" into "Community Edition"

2018-06-11  Valentine Reboul  <reboul@adacore.com>

gcc/ada/

* doc/gnat_rm.rst, doc/gnat_ugn.rst: Rename "GPL Edition" into
"Community Edition".

From-SVN: r261399
gcc/ada/ChangeLog
gcc/ada/doc/gnat_rm.rst
gcc/ada/doc/gnat_ugn.rst