diff setup.cfg @ 2859:2a228fb6c23e

evolve: undo change from "divergent" to "phasedivergent" for --divergent Looks like an accidental update in feaa52680682 (log: bumped was renamed into phasedivergent, 2017-08-10).
author Martin von Zweigbergk <martinvonz@google.com>
date Thu, 24 Aug 2017 11:00:13 -0700
parents b81d3775006b
children
line wrap: on
line diff