Closed jnfoster closed 1 year ago
I'm going to merge this as it's just removing code. If we ever want to resurrect it, I added a tag to make it easy to find in the Git history.
https://github.com/verified-network-toolchain/petr4/releases/tag/pre-Sept23-tidying
I'm going to merge this as it's just removing code. If we ever want to resurrect it, I added a tag to make it easy to find in the Git history.
https://github.com/verified-network-toolchain/petr4/releases/tag/pre-Sept23-tidying