Fri, 19 May 2017 18:43:21 +0200 | Boris Feld | effectflag: allow to save effect of change in obsmarkers | changeset | files |
Fri, 19 May 2017 18:07:56 +0200 | Pierre-Yves David | merge back with stable | changeset | files |
Fri, 19 May 2017 17:48:44 +0200 | Pierre-Yves David | readme: fix version number | changeset | files |
Fri, 19 May 2017 17:34:45 +0200 | Pierre-Yves David | next: prevent a color related crash when evolve | changeset | files |
Fri, 19 May 2017 17:33:27 +0200 | Pierre-Yves David | prune: prevent a color related crash when the working copy is moved | changeset | files |
Thu, 18 May 2017 22:40:17 -0700 | Rodrigo Damazio Bovendorp | evolve: adding longer aliases for olog | changeset | files |
Fri, 19 May 2017 11:16:22 +0200 | Pierre-Yves David | debugobsstorestat: add markers size information | changeset | files |