]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/ChangeLog
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf69715) | patch
[Ada] Remove documentation of gnatelim
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 14 Aug 2019 09:52:01 +0000 (09:52 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 14 Aug 2019 09:52:01 +0000 (09:52 +0000)
commitfe417467e93b34afee6cc4d8d175ea4a44f94de4
tree5d74764249572c3fe0273b1d5ec5f7b1c513c6b3tree | snapshot
parentbf697151ee539cf07635338201e90c6745f58d57commit | diff
[Ada] Remove documentation of gnatelim

2019-08-14  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* doc/gnat_ugn/gnat_and_program_execution.rst: Remove
documentation of gnatelim.

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