Menu ▾ ▴

Commit [r16777]  Maximize  Restore  History

Add update sites for new releases of Renaming and Gen. Inst. plug-ins

gverdier 2025-02-27

Browse code at this revision

Parent: [r16776]

changed /trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml
/trunk/RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml Diff Switch to side-by-side view
Loading...
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.