Skip to content
This repository has been archived by the owner on Oct 23, 2024. It is now read-only.

Add a link checker to CI #137

Open
porridge opened this issue Jun 2, 2020 · 0 comments
Open

Add a link checker to CI #137

porridge opened this issue Jun 2, 2020 · 0 comments

Comments

@porridge
Copy link
Contributor

porridge commented Jun 2, 2020

This would have caught a mindless attempt to remove footnotes.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant