Deploying to gh-pages from @ fdb12e2 🚀

rwth-acis · May 17, 2024 · 11797dd · 11797dd
1 parent 2365dfb
commit 11797dd
Show file tree

Hide file tree

Showing 9 changed files with 12 additions and 12 deletions.
diff --git a/latest/core/legal/jqueryUI.md b/latest/core/legal/jqueryUI.md
@@ -1,4 +1,4 @@
-## jQuery UI v1.12.1
+## jQuery UI v1.13.2
 
 ### jQuery UI License
 ```

diff --git a/latest/core/script-dir/jquery-ui.min.css b/latest/core/script-dir/jquery-ui.min.css
diff --git a/latest/core/script-dir/jquery-ui.min.js b/latest/core/script-dir/jquery-ui.min.js
diff --git a/latest/restmapper/legal/jqueryUI.md b/latest/restmapper/legal/jqueryUI.md
@@ -1,4 +1,4 @@
-## jQuery UI v1.12.1
+## jQuery UI v1.13.2
 
 ### jQuery UI License
 ```

diff --git a/latest/restmapper/script-dir/jquery-ui.min.css b/latest/restmapper/script-dir/jquery-ui.min.css
diff --git a/latest/restmapper/script-dir/jquery-ui.min.js b/latest/restmapper/script-dir/jquery-ui.min.js
diff --git a/latest/webconnector/legal/jqueryUI.md b/latest/webconnector/legal/jqueryUI.md
@@ -1,4 +1,4 @@
-## jQuery UI v1.12.1
+## jQuery UI v1.13.2
 
 ### jQuery UI License
 ```

diff --git a/latest/webconnector/script-dir/jquery-ui.min.css b/latest/webconnector/script-dir/jquery-ui.min.css
diff --git a/latest/webconnector/script-dir/jquery-ui.min.js b/latest/webconnector/script-dir/jquery-ui.min.js