]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbe3e1a) | patch
[Ada] Rename "GPL Edition" into "Community Edition"
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:16:49 +0000 (09:16 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:16:49 +0000 (09:16 +0000)
commited23b9b9ee5faaad4aa6a6ba3da6b68d875a9b17
treec49b677a8b1796850eb62f265949a075c00f8e49tree
parentfbe3e1a7a3d4f986a5d4669d2335c6e4957e5328commit | diff
[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".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261399 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/doc/gnat_rm.rst diff | blob | blame | history
gcc/ada/doc/gnat_ugn.rst diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git