Typography. Standardize links to arxiv.org.

benjub · Aug 16, 2024 · b3dc835 · b3dc835
1 parent deb26aa
commit b3dc835
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 17 deletions.
diff --git a/iset.mm b/iset.mm
diff --git a/set.mm b/set.mm