<!DOCTYPE idea-plugin PUBLIC "Plugin/DTD" "http://plugins.intellij.net/plugin.dtd">
<idea-plugin>
  <id>jetbrains.jetpad</id>
  <name>Jetpad</name>
  <description>Provides Jetpad libraries</description>
  <version>2017.1.2</version>
  <vendor url="http://www.jetbrains.com/mps/" logo="/MPS_16.png">JetBrains</vendor>
  <depends>jetbrains.mps.core</depends>
  <idea-version since-build="171.1" until-build="172.1"/>

  <depends>jetbrains.mps.core</depends>

  <extensions defaultExtensionNs="com.intellij">
    <errorHandler implementation="jetbrains.mps.ide.blame.CharismaReporter"/>
    <mps.LanguageLibrary dir=""/>
  </extensions>
</idea-plugin>
