Open MartinThoma opened 9 years ago
The hwrt repository contains quite a few tools / scripts which are only useful for write-math. Those scripts need to move.
hwrt
grep -rni "SELECT" *
grep -rni "write-math" *
grep -rni "pymysql" *
The
hwrt
repository contains quite a few tools / scripts which are only useful for write-math. Those scripts need to move.grep -rni "SELECT" *
should very likely give an empty resultgrep -rni "write-math" *
should very likely give an empty resultgrep -rni "pymysql" *
should very likely give an empty result