author | Piotr Trojanek <trojanek@adacore.com> | |
Sun, 29 Nov 2020 21:20:09 +0000 (22:20 +0100) | ||
committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
Wed, 16 Dec 2020 13:01:02 +0000 (08:01 -0500) | ||
commit | 612c48b13b38c42094059350d945f9d29983491a | |
tree | d054c364abd608b90f7fe593d16999aaa290a75b | tree |
parent | 1053ff8a3a8bde5498476e544b40fc9cdc5ee888 | commit | diff |