search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Update reference links #76

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Linkification should inspect existing unit links, and check whether the URL in the link is consistent with the currently registered units. If they are outdated, it should update the URL.