darcs-devel

2017-08-01 - 2017-09-01 (155 messages)

2017-07-01 - 2017-08-01 (15 messages)

2017-06-01 - 2017-07-01 (1 message)

  1. 2017-07-31  [1] [darcs-devel] [issue2541] whatsnew -l much slower in  darcs-dev Guillaume Hof
  2. 2017-07-31  [2] [darcs-devel] [issue2540] output of darcs help markdo darcs-dev Guillaume Hof
  3. 2017-07-31  [2] [darcs-devel] [issue2539] export, tags, and optimize  darcs-dev Guillaume Hof
  4. 2017-07-28  [2] Re: [darcs-devel] Help needed with the test harness   darcs-dev Guillaume Hof
  5. 2017-07-27  [1] [darcs-devel] [issue887] wish: darcs replace --intera darcs-dev Guillaume Hof
  6. 2017-07-26  [2] [darcs-devel] [patch1558] whatsnew: fixed wrong use o darcs-dev Ben Franksen 
  7. 2017-07-26  [2] [darcs-devel] [patch1530] add roundtrip property for  darcs-dev Ben Franksen 
  8. 2017-07-26  [2] [darcs-devel] [patch1529] Fixed a todo comment wrt em darcs-dev Ben Franksen 
  9. 2017-07-26  [1] Re: [darcs-devel] state of the manual                 darcs-dev Guillaume Hof