Remove dead property from default settings

6167f50a89f733ce8fdb3e418536e58423501222

Cohee <18619528+Cohee1207@users.noreply.github.com>

Parents: 6c03a617888c876b46f83ad6dab7db3ac96baa4e
1 files changed, +0 -1Showing whitespace changes
default/content/settings.json+0 -1
@@ -44,7 +44,6 @@
44 "preset": "Default",44 "preset": "Default",
45 "add_bos_token": true,45 "add_bos_token": true,
46 "stopping_strings": [],46 "stopping_strings": [],
47 "truncation_length": 2048,
48 "ban_eos_token": false,47 "ban_eos_token": false,
49 "skip_special_tokens": true,48 "skip_special_tokens": true,
50 "streaming": false,49 "streaming": false,