gwt-util/src/main/java/jetbrains/jetpad/mapper/gwt/GwtMapper.gwt.xml [1:7]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
<!DOCTYPE module
  PUBLIC
  "-//Google Inc.//DTD Google Web Toolkit 2.0//EN"
  "http://google-web-toolkit.googlecode.com/svn/releases/2.0/distro-source/core/src/gwt-module.dtd"
  >
<module>
  <source path="">
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



mapper/src/main/java/jetbrains/jetpad/mapper/Mapper.gwt.xml [1:7]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
<!DOCTYPE module
        PUBLIC
        "-//Google Inc.//DTD Google Web Toolkit 2.0//EN"
        "http://google-web-toolkit.googlecode.com/svn/releases/2.0/distro-source/core/src/gwt-module.dtd"
        >
<module>
  <source path="">
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -