darcs patch: Automatically highlight default options of a CommandUI...
21 Mar
2008
21 Mar
'08
6:53 p.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.
6693
Age (days ago)
6693
Last active (days ago)
0 comments
1 participants
participants (1)
-
Pepe Iborra