chiark / gitweb /
~mdw / fringe / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 2cde6ea)
icon-fringe.icn: Give record types a capital letter.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 1 Apr 2013 15:30:55 +0000 (16:30 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 1 Apr 2013 15:48:13 +0000 (16:48 +0100)
Reduces ambiguity (there was already a collision).


No differences found
The `same-fringe' problem solved in many languages.