Change environment, fix some linting errors

This commit is contained in:
Robin van der Linde 2023-07-27 14:48:17 +02:00
parent 9885099aff
commit b9d38c958c
Signed by untrusted user: Robin-van-der-Linde
GPG key ID: 53956B3252478F0D
4 changed files with 8 additions and 3 deletions

View file

@ -1,3 +1,4 @@
/* eslint-disable prefer-const */
import { VariableUiElement } from "../Base/VariableUIElement"
import { Translation } from "../i18n/Translation"
import Svg from "../../Svg"