Amend comments for repository identity

This commit is contained in:
Ricki Hirner 2023-07-10 15:22:24 +02:00
parent ec34da1ace
commit 400d46fce2
No known key found for this signature in database
GPG key ID: 79A019FCAAEDD3AA
2 changed files with 4 additions and 4 deletions

View file

@ -333,4 +333,4 @@
</intent>
</queries>
</manifest>
</manifest>

View file

@ -13,13 +13,13 @@ object Settings {
const val DISTRUST_SYSTEM_CERTIFICATES = "distrust_system_certs"
const val PROXY_TYPE = "proxy_type"
const val PROXY_TYPE = "proxy_type" // Integer
const val PROXY_TYPE_SYSTEM = -1
const val PROXY_TYPE_NONE = 0
const val PROXY_TYPE_HTTP = 1
const val PROXY_TYPE_SOCKS = 2
const val PROXY_HOST = "proxy_host"
const val PROXY_PORT = "proxy_port"
const val PROXY_HOST = "proxy_host" // String
const val PROXY_PORT = "proxy_port" // Integer
/**
* Default sync interval (long), in seconds.