Wed, 02 Aug 2017 19:34:15 +0200 |
Boris Feld |
obsolete: rename _addprecursors into _addpredecessors
|
Wed, 02 Aug 2017 19:20:59 +0200 |
Boris Feld |
obsmarker: rename precnode into prednode
|
Wed, 02 Aug 2017 19:13:56 +0200 |
Boris Feld |
context: rename troubled into isunstable
|
Wed, 02 Aug 2017 19:09:00 +0200 |
Boris Feld |
context: rename bumped into phasedivergent
|
Wed, 02 Aug 2017 19:02:48 +0200 |
Boris Feld |
context: rename divergent into contentdivergent
|
Wed, 02 Aug 2017 18:50:32 +0200 |
Boris Feld |
context: rename unstable into orphan
|
Wed, 02 Aug 2017 18:34:39 +0200 |
Boris Feld |
context: rename troubles into instabilities
|