diff options
| author | 2025-11-16 10:18:17 +0100 | |
|---|---|---|
| committer | 2025-11-16 10:18:17 +0100 | |
| commit | e6cbb6a818eab95bff112da8e4f8db3824bc4786 (patch) | |
| tree | d54faad856e40b825255be6abfd54d754d5cde6c /src/version | |
| parent | 1f6e7b79df502d2f82ef3052ee7bdfa0d3851f33 (diff) | |
Use exec at end of scripts to replace fish process after it's done
Diffstat (limited to 'src/version')
| -rw-r--r-- | src/version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/version b/src/version index a58941b..4c295b1 100644 --- a/src/version +++ b/src/version @@ -1 +1 @@ -1.3
\ No newline at end of file +1.4-SNAPSHOT
\ No newline at end of file |
