Guillaume Cluzel 15e19dde56 Remove unwanted warning and gnatprove messages

2020-07-27 09:47:55 +02:00

..

.cortex-debug.peripherals.state.json

Initial commit

2020-03-25 14:21:41 +01:00

.cortex-debug.registers.state.json

Some corrections in the contracts

2020-07-09 09:43:29 +02:00

launch.json

typo

2020-03-25 16:17:51 +01:00

settings.json

update code

2020-05-06 17:09:28 +02:00

tasks.json

Remove unwanted warning and gnatprove messages

2020-07-27 09:47:55 +02:00