]>
| author | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Fri, 16 Oct 2020 18:13:02 +0000 (20:13 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 16 Oct 2020 18:13:02 +0000 (20:13 +0200) | ||
| commit | 378baa6f348a1ac7a918582b4dbd8c41d042db96 | |
| tree | 5f65ddb98eaaf4a129ec86824c3f0ee876db79ce | tree | snapshot |
| parent | e5c1ba96ccc3fe281d478d035cc86c54dd4d9597 | commit | diff |
| doc/getting-started.md | diff | blob | history |