Browse Source

rename latex-preprocessing tool to checker.sh

remotes/origin/translate_notes
crep 14 years ago
parent
commit
940e45e66b
  1. 0
      utils/checker.sh

0
utils/latex-preprocessing → utils/checker.sh

Loading…
Cancel
Save