diff options
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; |