Initial checking functionality#6

Merged

emeryberger merged 2 commits intomainfrom

Apr 4, 2023

Commits on Mar 31, 2023

First attempts to implement comment consistency checking.
emeryberger
committed

Commits on Apr 4, 2023

Added click dependency.
emeryberger
committed