ascii: Remove non-ASCII characters from names

There are only the 3 names in our entire source that use non-ASCII characters.
Our documentation can still use any type of character.  We want to limit source
to ASCII for safety reasons.
This commit is contained in:
Amar Takhar
2025-05-22 19:35:12 +00:00
committed by Kinsey Moore
parent b714e4a809
commit 662ad275f7
87 changed files with 87 additions and 87 deletions
+1 -1
View File
@@ -10,7 +10,7 @@
* COPYRIGHT (c) 2009.
* On-Line Applications Research Corporation (OAR).
*
* Copyright (c) 2011 Ralf Corsépius, Ulm, Germany.
* Copyright (c) 2011 Ralf Corsepius, Ulm, Germany.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at