author | Piotr Trojanek <trojanek@adacore.com> | |
Thu, 8 Oct 2020 21:55:49 +0000 (23:55 +0200) | ||
committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
Tue, 24 Nov 2020 10:16:07 +0000 (05:16 -0500) | ||
commit | bfe5f951ce9d7fb205aa08d5a6dad699398417d9 | |
tree | 3c1be01a834c087378917aa27e2804b3102b4fb9 | tree |
parent | cb9d41eb252c44feeda1b137aca593a521b2b1a7 | commit | diff |