1 package polyglot.ext.coffer; 2 3 /** 4 * Version information for coffer extension 5 */ 6 public class Version extends polyglot.main.Version { 7 public String name() { return "coffer"; } 8 9 // TODO: define a version number, the default (below) is 0.1.0 10 public int major() { return 0; } 11 public int minor() { return 1; } 12 public int patch_level() { return 0; } 13 } 14