Virgo IDE - Eclipse IDE support
- 5e0e4a2 BUILD - prepare 1.5.3 development by GianMaria Romanato · 2 years, 10 months ago master
- 3a69b1a BUILD - prepare 1.5.2 release by GianMaria Romanato · 2 years, 10 months ago
- fcfed21 [21~Merge branch 'feature/561574' by GianMaria Romanato · 2 years, 10 months ago
- 41dafd4 561574: Virgo Tools do not work on Eclipse 2019-06 or later by GianMaria Romanato · 2 years, 10 months ago feature/561574
- dc63966 561574: Virgo Tools do not work on Eclipse 2019-06 or later by GianMaria Romanato · 2 years, 10 months ago
- 9024122 561574: Virgo Tools do not work on Eclipse 2019-06 or later by GianMaria Romanato · 2 years, 10 months ago
- 4d798a9 537017: Virgo Tools do not work on Photon by GianMaria Romanato · 4 years, 6 months ago
- 9d5b47a BUILD - prepare 1.5.2 development by GianMaria Romanato · 4 years, 8 months ago
- 4149c4c BUILD - prepare 1.5.1 release by GianMaria Romanato · 4 years, 8 months ago 1.5.1.RELEASE
- 2635f58 BUILD - remove obsolete files. by GianMaria Romanato · 4 years, 8 months ago
- 7cc447e 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago feature/526469
- 4c71fe2 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago
- 241c434 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago
- 53ea1bf 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago
- 953c95d 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago
- 38ee9d1 526469: Move the Virgo Tooling to the new EPL v2.0 by GianMaria Romanato · 4 years, 8 months ago
- 66eca95 526432: Virgo tools do not remove unit letter when making repository... by GianMaria Romanato · 5 years ago
- 3f8be20 Merge branch 'feature/510327' by GianMaria Romanato · 5 years ago
- 8627d32 510327: Virgo server reports os.name=win32 on Windows 10 by GianMaria Romanato · 6 years ago feature/510327
- 6f62f00 510327: Virgo server reports os.name=win32 on Windows 10 by GianMaria Romanato · 6 years ago