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/commit.mli | |
| 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/commit.mli')
| -rw-r--r-- | src/commit.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/commit.mli b/src/commit.mli index 6db7f3a..d1c9c69 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -4,7 +4,7 @@ type status = { } type node_data = { - script_name: string option; + script_name: string; priority: int; tag_value: string option; arg_value: string option; |