; This file can be used by 3rd party packagers for specifying custom default values for options.
; Use the same sections and keys as configuration.ini
; Priorities of the values specified in different locations:
; 1. explicit values in configuration.ini
; 2. overridden defaults in this file
; 3. base defaults given in Thonny's code

