#Sun Oct 27 17:48:16 CET 2024
artifact.main=/storage/repos/ultimate/trunk/source/BA_FeatureUltimateDeltaDebugger/target/BA_FeatureUltimateDeltaDebugger-0.2.5.jar
artifact.attached.p2artifacts=/storage/repos/ultimate/trunk/source/BA_FeatureUltimateDeltaDebugger/target/p2artifacts.xml
artifact.attached.p2metadata=/storage/repos/ultimate/trunk/source/BA_FeatureUltimateDeltaDebugger/target/p2content.xml
