From 9268fd63e859d43f6364655f93dd3b623b0fcc84 Mon Sep 17 00:00:00 2001
From: Matti Harjula <matti.harjula@aalto.fi>
Date: Thu, 13 Apr 2023 13:58:35 +0300
Subject: [PATCH] Update the thirdpartylibs meta.

---
 thirdpartylibs.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/thirdpartylibs.xml b/thirdpartylibs.xml
index b6857ef70..120b7ea35 100644
--- a/thirdpartylibs.xml
+++ b/thirdpartylibs.xml
@@ -1,9 +1,9 @@
 <?xml version="1.0"?>
 <libraries>
     <library>
-        <location>amd/src/jsxgraphcore-lazy.js</location>
+        <location>corsscripts/jsxgraphcore.min.js</location>
         <name>JSXGraph</name>
-        <version>1.4.4</version>
+        <version>1.5.0</version>
         <license>GNU LGPL or MIT License</license>
     </library>
     <library>
-- 
GitLab