Remove use of Unicode number sign in comments.
authorEric S. Raymond <esr@thyrsus.com>
Thu, 28 Feb 2019 10:18:04 +0000 (05:18 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Thu, 28 Feb 2019 10:18:04 +0000 (05:18 -0500)
"#" for this use is well established in English.  It's not worth opening the
i18n can of worms here.


No differences found