DON'T MERGE THIS NONSENSE CHANGE

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

492 stars 89 forks source link

Closed hendriktews closed 1 year ago

hendriktews commented 1 year ago

I want to test CI with this change after deleting outdated containers.

hendriktews commented 1 year ago

Reopen to test CI again.