]> git.eshelyaron.com Git - sweep.git/commit
Prefer plain "Sweep" over "\texttt{sweep}"
authorEshel Yaron <me@eshelyaron.com>
Mon, 21 Aug 2023 18:05:22 +0000 (20:05 +0200)
committerEshel Yaron <me@eshelyaron.com>
Mon, 21 Aug 2023 18:05:22 +0000 (20:05 +0200)
commit44c46715073457ed95a013b870cfd914db03fae1
treed8378e8e94c5db38712de89eae8b44a8f3e67bc5
parent7e8cc54e6527f4ddc9b56bf3c5c0c42d972950b6
Prefer plain "Sweep" over "\texttt{sweep}"

* sweep.doc: Say "Sweep" instead of "\texttt{sweep}".
sweep.doc