[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]