| author | Hristian Kirtchev <kirtchev@adacore.com> | |
| Wed, 14 Nov 2018 11:41:25 +0000 (11:41 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Wed, 14 Nov 2018 11:41:25 +0000 (11:41 +0000) | ||
| commit | c786216724918a454ed4634031f69efd275b963e | |
| tree | 37eba19fb13e71b35909a2c163e362a426772614 | tree |
| parent | 0715a2a8d257d647ee97521316ef87ac150c1977 | commit | diff |