diff options
| author | jvoisin | 2020-06-26 12:20:55 +0200 |
|---|---|---|
| committer | jvoisin | 2020-06-26 12:20:55 +0200 |
| commit | dc60430d1e472f8c18865411d6aa33b4b482e06f (patch) | |
| tree | b73f0c872912963acbd84474eb231ecfc793cbc4 /src/tests/disable_function/config/disabled_function_local_var.ini | |
| parent | 3036425bba428fadb93b1301aa43c742b2c786eb (diff) | |
Fix the footer in the documentation wrt. copyright
Diffstat (limited to 'src/tests/disable_function/config/disabled_function_local_var.ini')
0 files changed, 0 insertions, 0 deletions