diff options
author | Björn Persson <Bjorn@Rombobjörn.se> | 2023-11-05 07:49:36 +0100 |
---|---|---|
committer | Björn Persson <Bjorn@Rombobjörn.se> | 2023-11-05 08:44:24 +0100 |
commit | 9108c3b7115e07ca9674dea5bb9914705a4104e6 (patch) | |
tree | bec87aaa2326da6322f655d952c50115489822aa /INSTALL | |
parent | e3a7fe3a3b273c2660f25c34c99faf6047b85c07 (diff) |
Removed pragma Unreferenced.
Gnat no longer complains about Dummy being unused.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions