[darcs-devel] [patch1222] Make the options type used by a command into a type pa...

Guillaume Hoffmann guillaumh at gmail.com
Thu Feb 12 18:30:12 UTC 2015

Previous message: [darcs-devel] [patch1222] Make the options type used by a command into a type pa...
Next message: [darcs-devel] [patch1258] In CommandControl, push the existential down into the ...
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Goes into branch 2.10 as dependency of a bugfix.

Previous message: [darcs-devel] [patch1222] Make the options type used by a command into a type pa...
Next message: [darcs-devel] [patch1258] In CommandControl, push the existential down into the ...
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the darcs-devel mailing list