| commit | 3da21473e64edea35dadb10f7b7b663f3816cc8a | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:43:35 2023 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:44:15 2023 +0100 |
| tree | 83c450fa126d24afb25a1dc9d01db1dedc090409 | |
| parent | 89d0594709a30f9f9998980351a9cd03bd9a5c3a [diff] |
VFS: Satisfy GNATprove and No_Secondary_Stack