package jetbrains.mps.console.ideCommands.editor;

/*Generated by MPS */

import jetbrains.mps.nodeEditor.menus.substitute.SubstituteMenuBase;
import jetbrains.mps.lang.editor.menus.EditorMenuDescriptorBase;
import jetbrains.mps.smodel.SNodePointer;

public class ModuleProperties_SubstituteMenu extends SubstituteMenuBase {
  public ModuleProperties_SubstituteMenu() {
    super(false, new EditorMenuDescriptorBase("default substitute menu for " + "ModuleProperties", new SNodePointer("r:5d9868cc-091b-49b3-85eb-87af773e0884(jetbrains.mps.console.ideCommands.editor)", "1741258697587063820")));
  }

}
