[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML file name change in 4.7?
|
From: |
Karl Berry |
|
Subject: |
Re: HTML file name change in 4.7? |
|
Date: |
Tue, 20 Apr 2004 10:43:20 -0400 |
If I'm not wrong there are no code point above 0xffffff
My recollection is that technically Unicode code points are 32 bits?
2) Still use _xxxx for codepoints below 0xffff, but use __xxxxxx for
I like it. I'm not excited about doing anything that will *again*
change the names of our generated HTML files.
Thanks.