[darcs-devel] [patch1834] document and add property for PrimPatchId invariant

Ben Franksen bugs at darcs.net
Sat Jun 15 10:40:57 UTC 2019


New submission from Ben Franksen <ben.franksen at online.de>:

The property is not yet tested, working on that.

1 patch for repository http://darcs.net/screened:

patch f5d79f24bab01bad038670f17c2e56c2d7a45b49
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sat Jun 15 11:20:33 CEST 2019
  * document and add property for PrimPatchId invariant

----------
files: document-and-add-property-for-primpatchid-invariant.dpatch, patch-preview.txt, unnamed
messages: 20830
nosy: bf
status: needs-screening
title: document and add property for PrimPatchId invariant

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1834>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 955 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190615/5ffcb01e/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: document-and-add-property-for-primpatchid-invariant.dpatch
Type: application/x-darcs-patch
Size: 36945 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190615/5ffcb01e/attachment-0003.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list