aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-04-28 15:52:09 +0200
committerPierre-Marie Pédrot2020-04-29 09:41:04 +0200
commit6a6272ad2b452624e75418245fbbf30d3dc5597f (patch)
tree506e151f726a9a3ffa36a46c52970abfb66f89b4 /dev/ci
parentbcf20edceb3d3a056664f1183fe5b7a5e54408ab (diff)
Remove dead user-facing code in scheme generation.
It was trying to warn the user about missing schemes. Since find_scheme was generating those constants anyways, this was never reached.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions