Skip to content

Commit

Permalink
Updates snapshot: Bugfix for package naming + Gurobi update to v11.0.1
Browse files Browse the repository at this point in the history
  • Loading branch information
maxkratz committed Mar 19, 2024
1 parent 85412f0 commit f500e73
Show file tree
Hide file tree
Showing 12 changed files with 1 addition and 1 deletion.
Binary file modified snapshot/updatesite/artifacts.jar
Binary file not shown.
Binary file modified snapshot/updatesite/content.jar
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
2 changes: 1 addition & 1 deletion snapshot/updatesite/site.xml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<site>
<feature url="features/org.emoflon.gips.feature_1.0.0.202312051655.jar" id="org.emoflon.gips.feature" version="1.0.0.202312051655">
<feature url="features/org.emoflon.gips.feature_1.0.0.202403191254.jar" id="org.emoflon.gips.feature" version="1.0.0.202403191254">
<category name="gips"/>
</feature>
<category-def name="gips" label="GIPS">
Expand Down

0 comments on commit f500e73

Please sign in to comment.