]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3e9421) | patch
[Ada] Fix minor formatting issue
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 18 Sep 2019 08:32:46 +0000 (08:32 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 18 Sep 2019 08:32:46 +0000 (08:32 +0000)
commit0a8c228c91a8eec579d662ecf3fbd22189681d03
treed30d576c75539f49d5900e548838d1b31687c55ftree
parente3e94218b35f371676f7a688c248417e714d2e1ccommit | diff
[Ada] Fix minor formatting issue

2019-09-18  Vasiliy Fofanov  <fofanov@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Fix minor
formatting issue.

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