search

viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10 stars 11 forks source link

Update README.md #467

Closed marcoeilers closed 2 months ago

marcoeilers commented 2 months ago

For Viper 24.8 RC