diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-03-16 21:57:16 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-03-16 23:13:39 -0500 |
| commit | 42a38b507589968248718c91ae34cf6afa1c3017 (patch) | |
| tree | 58253eef7dafefb3260e43c2c9ef381932ecbcf4 /src/vycli.ml | |
| parent | 66ba4b46b18d5c1449df758d87e0be3e621bc98a (diff) | |
| download | vyconf-42a38b507589968248718c91ae34cf6afa1c3017.tar.gz vyconf-42a38b507589968248718c91ae34cf6afa1c3017.zip | |
T7121: script_name defined as string, not string option, by construction
Diffstat (limited to 'src/vycli.ml')
0 files changed, 0 insertions, 0 deletions