path: root/src/version.js.in

var GUI_VERSION_NUMBER = "@VERSION@"
var GUI_VERSION_TAG = "@VERSION_TAG_GUI@";
var GUI_VERSION = GUI_VERSION_NUMBER + "-" + GUI_VERSION_TAG