| commit | d1e0457ad62d37c44c243b91a0c16385ddc148a1 | [log] [tgz] |
|---|---|---|
| author | Thomas Heijligen <src@posteo.de> | Mon Nov 27 14:28:55 2023 +0000 |
| committer | Thomas Heijligen <src@posteo.de> | Mon Nov 27 14:28:55 2023 +0000 |
| tree | 554e362dcdbc2c0d7cce759552ad395196eb202d |
Test env to develop FILO filesystem drivers in Ada
diff --git a/default.adc b/default.adc new file mode 100644 index 0000000..c4a1e03 --- /dev/null +++ b/default.adc
@@ -0,0 +1 @@ +pragma SPARK_Mode (On);