Merge branch 'main' into bug6135

This commit is contained in:
Axel Uhl
2025-07-01 23:00:47 +02:00
13 changed files with 70 additions and 19 deletions
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?pde version="3.8"?>
<target name="Race Analysis Target" sequenceNumber="225">
<target name="Race Analysis Target" sequenceNumber="226">
<locations>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit">
<unit id="javax.ws.rs" version="1.1.1.v20130318-1750"/>