import Element from '../../elements/project/ProjectRunnerNavigationElement.js';
window.customElements.define('project-runner-navigation', Element);
//# sourceMappingURL=project-runner-navigation.js.map