diff options
Diffstat (limited to 'project')
-rw-r--r-- | project/plugins.sbt | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/project/plugins.sbt b/project/plugins.sbt index 44ec3a12ae..4578b56247 100644 --- a/project/plugins.sbt +++ b/project/plugins.sbt @@ -20,7 +20,4 @@ libraryDependencies += "org.ow2.asm" % "asm" % "5.0.3" libraryDependencies += "org.ow2.asm" % "asm-commons" % "5.0.3" -// TODO I am not sure we want such a dep. -resolvers += "simplytyped" at "http://simplytyped.github.io/repo/releases" - -addSbtPlugin("com.simplytyped" % "sbt-antlr4" % "0.7.10") +addSbtPlugin("com.simplytyped" % "sbt-antlr4" % "0.7.11") |