darcs patch: Prompt.hs: replace magic numbers with un... (and 2 more)
19 Nov
2008
19 Nov
'08
4:45 p.m.
Wed Nov 19 16:25:02 EST 2008 gwern0@gmail.com * Prompt.hs: replace magic numbers with understandable names Wed Nov 19 16:25:23 EST 2008 gwern0@gmail.com * Prompt.hs: increase font size to 12 from niggardly 10 Wed Nov 19 16:31:22 EST 2008 gwern0@gmail.com * Prompt.hs: +greenXPConfig and amberXPConfig
22 Dec
22 Dec
3:08 a.m.
New subject: darcs patch: Prompt.hs: replace magic numbers with un... (and 2 more)
On Wed, Nov 19, 2008 at 01:45:39PM -0800, gwern0@gmail.com wrote:
Wed Nov 19 16:25:02 EST 2008 gwern0@gmail.com * Prompt.hs: replace magic numbers with understandable names
Wed Nov 19 16:25:23 EST 2008 gwern0@gmail.com * Prompt.hs: increase font size to 12 from niggardly 10
Wed Nov 19 16:31:22 EST 2008 gwern0@gmail.com * Prompt.hs: +greenXPConfig and amberXPConfig
Applied.
5993
Age (days ago)
6026
Last active (days ago)
1 comments
2 participants
participants (2)
-
gwern0＠gmail.com -
Spencer Janssen