Thu, 24 Aug 2017 09:12:09 +0200 | Boris Feld | warning: rename warning message | file | diff | annotate |
Thu, 24 Aug 2017 09:11:54 +0200 | Boris Feld | warning: rename bumped warning message | file | diff | annotate |
Thu, 24 Aug 2017 09:11:06 +0200 | Boris Feld | warning: rename unstable warning message | file | diff | annotate |
Fri, 11 Aug 2017 11:43:57 +0200 | Boris Feld | revset: bumped() is deprecated | file | diff | annotate |
Fri, 11 Aug 2017 11:30:34 +0200 | Boris Feld | revset: divergent() is deprecated | file | diff | annotate |
Fri, 11 Aug 2017 11:23:37 +0200 | Boris Feld | revset: unstable() is deprecated | file | diff | annotate |
Thu, 10 Aug 2017 19:31:55 +0200 | Boris Feld | log: bumped was renamed into phasedivergent | file | diff | annotate |