2017-05-19 Boris Feld obshistory: display informations from the obs marker effect flag
2017-05-19 Pierre-Yves David test: add (glob) to globed line
2017-05-19 Pierre-Yves David effectflag: add test combining multiple flag
2017-05-19 Pierre-Yves David effectflag: basic diff change detection
2017-05-19 Boris Feld effectflag: detect parent change
2017-05-19 Boris Feld effectflag: detect meta changes
2017-05-19 Pierre-Yves David effect-flag: rework existing test to prepare for mor tests
2017-05-19 Boris Feld effectflag: allow to save effect of change in obsmarkers
2017-05-19 Pierre-Yves David merge back with stable
2017-05-19 Pierre-Yves David readme: fix version number
2017-05-19 Pierre-Yves David next: prevent a color related crash when evolve stable
2017-05-19 Pierre-Yves David prune: prevent a color related crash when the working copy is moved stable
2017-05-19 Rodrigo Damazio Bovendorp evolve: adding longer aliases for olog
2017-05-19 Pierre-Yves David debugobsstorestat: add markers size information
Loading...
(0) -1000 -300 -100 -14 +14 +100 +300 +1000 tip