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