Add usersettings stub files (#10598)

This commit is contained in:
Andrés Ignacio Torres
2023-08-21 21:27:48 +02:00
committed by GitHub
parent 114949b5ad
commit 2c15a8e790
3 changed files with 19 additions and 0 deletions
@@ -0,0 +1,3 @@
usersettings.Settings.app_id
usersettings.Settings.settings_directory
usersettings.Settings.settings_file