Update javadoc as well

This commit is contained in:
ZacSharp 2021-04-10 23:56:30 +02:00
parent f348a20035
commit a4f06a9e1e
No known key found for this signature in database
GPG Key ID: 9453647B005083A3

View File

@ -70,7 +70,7 @@ public final class Settings {
public final Setting<Boolean> assumeExternalAutoTool = new Setting<>(false); public final Setting<Boolean> assumeExternalAutoTool = new Setting<>(false);
/** /**
* If this setting is on, no auto tool will occur at all, not at calculation time nor execution time * Automatically select the best available tool
*/ */
public final Setting<Boolean> autoTool = new Setting<>(true); public final Setting<Boolean> autoTool = new Setting<>(true);