goog.provide('devtools.version');
devtools.version.current_version = "1.0.7";
devtools.version.get_current_version = (function devtools$version$get_current_version(){
return devtools.version.current_version;
});

//# sourceMappingURL=devtools.version.js.map
