diff options
| author | jvoisin | 2018-01-12 16:05:19 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-12 16:57:42 +0100 |
| commit | bbee5f1baec132f8b47ae80303ce22f7d7787cd8 (patch) | |
| tree | 25a99787d40ec1e84310340d8df9809b9fa16dc8 /src/tests/config/config_disabled_functions_param_int.ini | |
| parent | 44255b8dbf5c98c8d110c2e3918298ee6978b93c (diff) | |
Add an ugly hack to our parser to make the writing of configuration rules more obvious.
Diffstat (limited to 'src/tests/config/config_disabled_functions_param_int.ini')
| -rw-r--r-- | src/tests/config/config_disabled_functions_param_int.ini | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tests/config/config_disabled_functions_param_int.ini b/src/tests/config/config_disabled_functions_param_int.ini index 2a7d962..1c93c2f 100644 --- a/src/tests/config/config_disabled_functions_param_int.ini +++ b/src/tests/config/config_disabled_functions_param_int.ini | |||
| @@ -1,2 +1,2 @@ | |||
| 1 | sp.disable_function.function("foobar").param("$id").value("42").drop(); | 1 | sp.disable_function.function("foobar").param("id").value("42").drop(); |
| 2 | sp.disable_function.function("foobar").param("$id").value_r("^1337").drop(); | 2 | sp.disable_function.function("foobar").param("id").value_r("^1337").drop(); |