import { PettyBadge } from "./badge";
export { PettyBadge };

if (!customElements.get("petty-badge")) {
  customElements.define("petty-badge", PettyBadge);
}