//
// $Id: Version.java,v 1.2 2002/11/11 17:33:43 mdb Exp $

package robodj;

/**
 * Used to report version numbers in the client.
 */
public class Version
{
    /** The application release version. */
    public static String RELEASE_VERSION = "1.3";
}
