diff --git a/keymaerax-webui/src/main/resources/partials/license_dialog.html b/keymaerax-webui/src/main/resources/partials/license_dialog.html index 663f24b23d..68f82696f8 100644 --- a/keymaerax-webui/src/main/resources/partials/license_dialog.html +++ b/keymaerax-webui/src/main/resources/partials/license_dialog.html @@ -2,8 +2,8 @@