Update CONTRIBUTING.md

t18d · Aug 30, 2024 · c31d82c · c31d82c
1 parent 49aa2e4
commit c31d82c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/CONTRIBUTING.md b/docs/CONTRIBUTING.md
@@ -24,6 +24,7 @@ $ git clone --single-branch --filter=blob:none --sparse --depth=1 [email protected]
 $ cd attested-conjectures/
 $ git sparse-checkout set --no-cone '/*' '!/assets/*.webp' '!/assets/*.pdf'
 ```
+See also our [Unix tools](https://t18d.github.io/tools/) page.
 
 ## CSV syntax
 Enclose fields containing commas in double quotes. Escape a double quote inside such fields by a [preceding double quote](https://datatracker.ietf.org/doc/html/rfc4180#section-2).