W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2012

[Bug 16618] Use "-" instead of "−"

From: <bugzilla@jessica.w3.org>
Date: Sun, 08 Apr 2012 23:38:03 +0000
To: public-script-coord@w3.org
Message-Id: <E1SH1gJ-0005rA-0r@jessica.w3.org>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16618

Cameron McCormack <cam@mcc.id.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX

--- Comment #4 from Cameron McCormack <cam@mcc.id.au> 2012-04-08 23:38:02 UTC ---
Sorry, I haven't written the algorithms with the ability to copy and paste them
directly as code in mind, and I don't think there is much that can be
currently.  The minus signs look nicer, too.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Sunday, 8 April 2012 23:38:05 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:06 UTC