diff options
author | Arnaud Charlet <charlet@adacore.com> | 2019-08-14 09:52:01 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-14 09:52:01 +0000 |
commit | 27af94e7b9a4702ea93348f917fd2ad82adb6853 (patch) | |
tree | 5d74764249572c3fe0273b1d5ec5f7b1c513c6b3 /gcc/ada/table.adb | |
parent | 3a02b4697e38e506c2856c104261cfe87550548a (diff) | |
download | gcc-27af94e7b9a4702ea93348f917fd2ad82adb6853.zip gcc-27af94e7b9a4702ea93348f917fd2ad82adb6853.tar.gz gcc-27af94e7b9a4702ea93348f917fd2ad82adb6853.tar.bz2 |
[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
Diffstat (limited to 'gcc/ada/table.adb')
0 files changed, 0 insertions, 0 deletions