diff options
Diffstat (limited to 'settings.json')
| -rw-r--r-- | settings.json | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/settings.json b/settings.json deleted file mode 100644 index 4527cf09..00000000 --- a/settings.json +++ /dev/null @@ -1,14 +0,0 @@ -{ - "smallest_certificate_id_to_connect": { - "description": "During validation we don't connect certificates with number lower than _this_ to connections", - "value": 60 - }, - "year_difference_between_validations": { - "description": "During validation we don't connect certificates with validation dates difference higher than _this_", - "value": 5 - }, - "use_text_with_newlines_during_parsing": { - "description": "During keyword search, search in text with newlines", - "value": true - } -} |