darcs patch: Automatically highlight default options of a CommandUI...
21 Mar
2008
21 Mar
'08
10:53 a.m.
Fri Mar 21 11:52:10 CET 2008 Pepe Iborra <mnislaih@gmail.com> * Automatically highlight default options of a CommandUI when converting it to a list of GetOpts I shamelessly stole some code from GHCi for the highlighting.
6745
Age (days ago)
6745
Last active (days ago)
0 comments
1 participants
participants (1)
-
Pepe Iborra