djalbat / occam-ide

Occam/s IDE
Other
1 stars 0 forks source link

The functionality to adjust references should labels be changed and vice-versa has been removed #209

Closed djalbat closed 1 month ago