[Ada] Remove documentation of gnatelim
authorArnaud Charlet <charlet@adacore.com>
Wed, 14 Aug 2019 09:52:01 +0000 (09:52 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 14 Aug 2019 09:52:01 +0000 (09:52 +0000)
commit27af94e7b9a4702ea93348f917fd2ad82adb6853
tree5d74764249572c3fe0273b1d5ec5f7b1c513c6b3
parent3a02b4697e38e506c2856c104261cfe87550548a
[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.

From-SVN: r274462
gcc/ada/ChangeLog
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst