diff options
| author | sterni <sternenseemann@systemli.org> | 2021-09-09T20·20+0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2021-09-10T11·08+0000 |
| commit | 596344faf4c7f1cca8b1a7cd1da983270b81c530 (patch) | |
| tree | 2be853a3ed1282366882590b54d6086340bf086a /tools | |
| parent | 318d10e60875ef69132651668a249de75730d2ba (diff) | |
docs(nix/tag): fix example for discrDef r/2834
Change-Id: I8b7accb399448f57ace502642bd91fcfae416f15 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3507 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions