Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
util/create-iptypes-html.py: don't link identifiers
A user noticed that many of the identifier links don't actually work yet. As we don't know what we will do with these yet, for now I will disable the links.
- Loading branch information