[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