| author | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 21 Nov 2018 21:06:12 +0000 (22:06 +0100) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 21 Nov 2018 21:06:12 +0000 (22:06 +0100) | ||
| commit | 33ee6ad467f517fb273a3facb3321a06a1c185d8 | |
| tree | d135584f9cee67d9512c27bf5d36cccbe7f645a2 | tree | snapshot |
| parent | 44e7d95da87f407c41ce0afb87c467f71dc664fe | commit | diff |
| dev-ada/gprbuild/files/gprbuild-2017-config.patch | diff | blob | history |