mirror of https://github.com/sbt/sbt.git
Merge branch 'develop' into sbtn-wizard
This commit is contained in:
commit
b107bdc09d
|
|
@ -38,6 +38,7 @@ object LintUnused {
|
||||||
onUnload,
|
onUnload,
|
||||||
sbt.nio.Keys.watchTriggers,
|
sbt.nio.Keys.watchTriggers,
|
||||||
serverConnectionType,
|
serverConnectionType,
|
||||||
|
serverIdleTimeout,
|
||||||
shellPrompt,
|
shellPrompt,
|
||||||
),
|
),
|
||||||
includeLintKeys := Set(
|
includeLintKeys := Set(
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue