Diff

.semgrep.yml @ 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
parent 12717:898e99f49d80
child 13700:9b7687b47da9
line wrap: on
line diff