diff options
author | gumi <git@gumi.ca> | 2020-05-02 09:26:33 -0400 |
---|---|---|
committer | gumi <git@gumi.ca> | 2020-05-03 11:46:22 -0400 |
commit | d958a36388644a9e58b63da0458f836d198833c8 (patch) | |
tree | 31bca949f8fed4901943ff43b0b115cc0ecacfd7 /conf | |
parent | 06e65c769bbb66045e0d51da6a321a4c4ef1ff42 (diff) | |
download | hercules-d958a36388644a9e58b63da0458f836d198833c8.tar.gz hercules-d958a36388644a9e58b63da0458f836d198833c8.tar.bz2 hercules-d958a36388644a9e58b63da0458f836d198833c8.tar.xz hercules-d958a36388644a9e58b63da0458f836d198833c8.zip |
add a config flag to allow local functions to be public by default
Diffstat (limited to 'conf')
-rw-r--r-- | conf/map/script.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/conf/map/script.conf b/conf/map/script.conf index fc4f26965..cda25d546 100644 --- a/conf/map/script.conf +++ b/conf/map/script.conf @@ -59,6 +59,11 @@ script_configuration: { // Defaults to INT_MAX. //input_max_value: 2147483647 input_max_value: 10000000 + + // Specifies whether functions not explicitly marked with a "private" or + // "public" keyword should be treated as "private" by default. + // Default: true + functions_private_by_default: true } import: "conf/import/script.conf" |