annotate docs/caseTimeModification.txt @ 178:ca83d67a2dc9

bugfix and nicer messages for PublicByAuthor feature.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 08 Jun 2018 18:28:58 +0200
parents ded3bccf2cf9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
jurzua
parents:
diff changeset
1 Examples:
jurzua
parents:
diff changeset
2 297238
jurzua
parents:
diff changeset
3
jurzua
parents:
diff changeset
4 Ok:
jurzua
parents:
diff changeset
5 58453