graphdb-workbench/dist/shared-components/collection/pages/repository-selector/main.js

The web application for GraphDB APIs

let repositorySelectorElement=document.querySelector("onto-repository-selector");