1
0
mirror of https://github.com/vcmi/vcmi.git synced 2024-12-26 22:57:00 +02:00

Merge pull request #2249 from mikeiit/settings

Updated settings.json
This commit is contained in:
Ivan Savenko 2023-06-22 14:27:26 +03:00 committed by GitHub
commit 0cd19b0a9f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,7 +26,7 @@
"language",
"gameDataLanguage",
"lastSave",
"lastSettingsTab"
"lastSettingsTab",
"lastCampaign",
"saveFrequency",
"notifications",
@ -214,7 +214,7 @@
{
"type" : "boolean",
"default" : true
},
}
}
},
"pathfinder" : {