diff options
| author | jvoisin | 2017-10-11 11:40:02 +0200 |
|---|---|---|
| committer | jvoisin | 2017-10-11 11:40:02 +0200 |
| commit | e44b3b6b6ab1af61f9abc210546700e30aeff19c (patch) | |
| tree | 408b7b079fc719ba686673e88daca939e0573565 /src/tests/config/dump_request.ini | |
| parent | 0e9086030f36f13a4007ae9e111fdcfbc40edbb1 (diff) | |
s/disable_functions/disable_function/g
This should close #36 and #30
Diffstat (limited to 'src/tests/config/dump_request.ini')
| -rw-r--r-- | src/tests/config/dump_request.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/config/dump_request.ini b/src/tests/config/dump_request.ini index 00ee7b8..e0aa4aa 100644 --- a/src/tests/config/dump_request.ini +++ b/src/tests/config/dump_request.ini | |||
| @@ -1 +1 @@ | |||
| sp.disable_functions.function("system").drop().dump("/tmp/dump_results/"); | sp.disable_function.function("system").drop().dump("/tmp/dump_results/"); | ||