diff options
| author | Nick White <git@njw.name> | 2021-08-24 17:04:45 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2021-08-24 17:04:45 +0100 |
| commit | eea92760c9f9f2fa108cf759f2b4ca17b57e8364 (patch) | |
| tree | 7da3d1e7d52df6a56154a13743b6db977ab2f628 /preproc/cmd/binarize?h=v0.5.3&id=6b4e704befb7f82627d2c9a4e3f4e2971fdaf883&id2=94601a82bd3db51b749a1e44ad116250ba545bee | |
| parent | 9f3fec3e0982c5b419338f68428f12bbeed4c2bb (diff) | |
rescribe: improve makefile to match the way we deploy to the website
Diffstat (limited to 'preproc/cmd/binarize?h=v0.5.3&id=6b4e704befb7f82627d2c9a4e3f4e2971fdaf883&id2=94601a82bd3db51b749a1e44ad116250ba545bee')
0 files changed, 0 insertions, 0 deletions