You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
[toolchain]
|
|
assistant = false
|
|
[toolchain.external]
|
|
gnat = "FALSE"
|
|
gprbuild = "FALSE"
|
|
[toolchain.use]
|
|
gnat = "gnat_native=12.2.1"
|
|
gprbuild = "gprbuild=22.0.0"
|
|
[user]
|
|
email = "thomas.bellembois@uca.fr"
|
|
github_login = "tbellembois"
|
|
name = "Thomas Bellembois"
|
|
|
