Alejandro R. Mosteo
|
d7b8ff6845
|
disable releases using -gnat05 switches
|
2019-05-17 19:17:16 +02:00 |
|
Pierre-Marie de Rodat
|
eb3ea5d9ed
|
Fix errors in the index, found after improving the TOML loader
|
2019-04-09 20:20:02 +02:00 |
|
Pierre-Marie de Rodat
|
9136b58856
|
Transition the index to TOML files
|
2019-04-05 11:39:11 +02:00 |
|