aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
ensimeRemove top-level ensime server version settingJakob Odersky7 years
ensime-nestedWIP nested configJakob Odersky7 years
masterMerge pull request #555 from darthorimar/patch-5Jan Christopher Vogt7 years
reproducible-buildsAdd example of reproducible buildsJakob Odersky7 years
various-pluginsAdd javah pluginJakob Odersky7 years