darcs-devel

2022-12-01 - 2023-01-01 (25 messages)

2022-11-01 - 2022-12-01 (7 messages)

  1. 2022-11-27  [2] [darcs-devel] [patch2268] optimize reorder: add --dee darcs-dev Ben Franksen 
  2. 2022-11-25  [1] [darcs-devel] [patch2267] ci: checkout and cache acti darcs-dev Ben Franksen 
  3. 2022-11-23  [1] [darcs-devel] darcs.net: revive user darcs-unstable   darcs-dev Ben Franksen 
  4. 2022-11-19  [1] [darcs-devel] [patch2264] improvements to check/repai darcs-dev Ben Franksen 
  5. 2022-11-19  [1] [darcs-devel] [issue2264] Attempting to oblit into a  darcs-dev Ben Franksen 
  6. 2022-11-19  [1] [darcs-devel] [patch2266] get rid of class IdEq2 by d darcs-dev Ben Franksen