Don't restate the obvious.

2009-03-14 01:11:05 +00:00 · 2009-03-14 01:11:05 +00:00 · 2c10f930ac
parent bc10172a77
commit 2c10f930ac
1 changed files with 0 additions and 2 deletions
--- a/pep-0378.txt
+++ b/pep-0378.txt
@ -57,8 +57,6 @@ Research so far

 Scanning the web, I've found that thousands separators are
 usually one of COMMA, DOT, SPACE, APOSTROPHE or UNDERSCORE.  
-When a COMMA is the decimal separator, the thousands separator
-is typically a DOT or SPACE (see examples from Denis Spir).

 James Knight observed that Indian/Pakistani numbering systems
 group by hundreds.   Ben Finney noted that Chinese group by