diff .gitlab-ci.yml @ 5693:3083e1936a1a

evolvecmd: delete dead assignment to `displayer` The variable is reassigned just a few lines later.
author Martin von Zweigbergk <martinvonz@google.com>
date Thu, 29 Oct 2020 14:14:00 -0700
parents 4737d3db1671
children 6ce036cb7fd4 c0ed8e574638
line wrap: on
line diff