| Thu, 06 Jul 2017 14:53:48 +0200 |
Boris Feld |
effectflag: detect when user changed
|
| Thu, 06 Jul 2017 14:52:34 +0200 |
Boris Feld |
effectflag: detect when description changed
|
| Thu, 06 Jul 2017 14:50:17 +0200 |
Boris Feld |
effectflag: store an empty effect flag for the moment
|
| Fri, 15 Sep 2017 10:43:22 -0700 |
Martin von Zweigbergk |
templates: introduce a obsfateoperation() function
|
| Mon, 03 Jul 2017 17:38:56 +0200 |
Boris Feld |
template: better prune support in obsfate
|
| Mon, 03 Jul 2017 15:34:10 +0200 |
Boris Feld |
template: compute dates in obsfatedate
|
| Mon, 03 Jul 2017 15:34:00 +0200 |
Boris Feld |
template: compute user in obsfateusers
|
| Mon, 03 Jul 2017 15:33:27 +0200 |
Boris Feld |
template: compute verb in obsfateverb
|
| Mon, 03 Jul 2017 03:56:53 +0200 |
Boris Feld |
obsolete: fix old typo
|
| Mon, 03 Jul 2017 03:54:24 +0200 |
Boris Feld |
obsolete: move merge logic on the smaller object
|
| Thu, 17 Aug 2017 18:26:11 +0200 |
Boris Feld |
template: add minimal obsfate template function
|
| Mon, 03 Jul 2017 03:27:58 +0200 |
Boris Feld |
obsolete: track markers in _succs
|
| Mon, 03 Jul 2017 03:13:17 +0200 |
Boris Feld |
obsolete: add an explicit '_succs.copy()' method
|
| Mon, 03 Jul 2017 00:53:55 +0200 |
Boris Feld |
obsolete: introduce a _succs class
|
| Wed, 16 Aug 2017 10:18:57 +0200 |
Boris Feld |
obsmarker: fix precnode deprecation
|
