| commit | d49cb12f62f7a9f2f9835787b292f9885ab99bc2 | [log] [tgz] |
|---|---|---|
| author | Thomas Heijligen <src@posteo.de> | Wed Nov 29 10:03:02 2023 +0000 |
| committer | Thomas Heijligen <src@posteo.de> | Wed Nov 29 10:03:02 2023 +0000 |
| tree | 91293e5aaf2bde9f64adaf5bab8ef8f94d58955c | |
| parent | b00b3166219e072b759b2d9855ef5e12d0a75552 [diff] |
Move SPARK_Mode => Off into body Signed-off-by: Thomas Heijligen <src@posteo.de>