diff options
Diffstat (limited to '')
-rw-r--r-- | testsuites/ada/mptests/mp13/config_base.h (renamed from c/src/ada-tests/mptests/mp13/config_base.h) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/c/src/ada-tests/mptests/mp13/config_base.h b/testsuites/ada/mptests/mp13/config_base.h index c1b8f24e86..c1b8f24e86 100644 --- a/c/src/ada-tests/mptests/mp13/config_base.h +++ b/testsuites/ada/mptests/mp13/config_base.h |