Update `patchcheck` description - #1031

Merged

ezio-melotti merged 3 commits into

python:mainfrom

EvanLai88:patchcheck-py

Jan 16, 2023

Commits on Jan 15, 2023

Update path to patchcheck.py
EvanLai88
committed
c4ec567
Update path to reindent.py and clear deleted file
EvanLai88
committed
35ecd7c

Commits on Jan 16, 2023

Link with `:cpy-file:` directly
EvanLai88
and
CAM-Gerlach
authored
7c801b9