comparison tools/test_mutants.sh.lua @ 13120:be4058bb5a7e

util.startup: Record current version in a metric Useful to have this info available when juggling metrics, e.g. to see if things changed between versions.
author Kim Alvefur <zash@zash.se>
date Wed, 31 May 2023 01:14:59 +0200
parents 132a3c7b25fa
children 116b756ced71
comparison
equal deleted inserted replaced
13119:df57c62165fc 13120:be4058bb5a7e