updateme

From MaRDI portal
Updateme




Description

When a package is loaded, the source repository is checked for new versions and a message is shown in the console indicating whether the package is out of date.






This page was built for software: updateme