diff options
| author | jvoisin | 2023-04-29 17:02:54 +0200 |
|---|---|---|
| committer | jvoisin | 2023-04-29 17:06:26 +0200 |
| commit | b9b03f469cdf6ff355fb1deb16a4dedc0ecd7149 (patch) | |
| tree | 41c8549feb1d10e36cff3252af4dfc62e47c63d1 /src/tests/disable_function/config/config_disabled_functions_require.ini | |
| parent | 159547f875bc181b89c531bf5b1707da8e057c5f (diff) | |
Debian stretch is dead, let's remove it
Diffstat (limited to 'src/tests/disable_function/config/config_disabled_functions_require.ini')
0 files changed, 0 insertions, 0 deletions