Version.java

package polyglot.ext.pao;

/**
 * Version information for PAO extension
 */
public class Version extends polyglot.main.Version {
    public String name() { return "pao"; }
    public int major() { return 0; }
    public int minor() { return 1; }
    public int patch_level() { return 0; }
}