Merge pull request #3815 from dwijnand/drop-0.14-references

Drop 0.14.0 references
This commit is contained in:
eugene yokota 2017-12-18 20:55:34 -05:00 committed by GitHub
commit bff933aceb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -65,7 +65,7 @@ object PluginDiscovery {
new DiscoveredNames(discover[AutoPlugin], discover[BuildDef])
}
// TODO: for 0.14.0, consider consolidating into a single file, which would make the classpath search 4x faster
// TODO: consider consolidating into a single file, which would make the classpath search 4x faster
/** Writes discovered module `names` to zero or more files in `dir` as per [[writeDescriptor]] and returns the list of files written. */
def writeDescriptors(names: DiscoveredNames, dir: File): Seq[File] = {
import Paths._