<?xml version="1.0" encoding="UTF-8"?>
<plugins>
	<plugin id="com.teamscale.ide.intellij" version="2025.7.13" url="com.teamscale.ide.intellij-2025.7.13.zip"/>
</plugins>
