Version.java

package polyglot.ext.coffer;

/**
 * Version information for coffer extension
 */
public class Version extends polyglot.main.Version {
    public String name() { return "coffer"; }

    // TODO: define a version number, the default (below) is 0.1.0
    public int major() { return 0; }
    public int minor() { return 1; }
    public int patch_level() { return 0; }
}