diff options
| author | 2025-11-27 20:25:04 +0100 | |
|---|---|---|
| committer | 2025-11-27 20:25:04 +0100 | |
| commit | 54e6c9f2b9a235c406daed1fea876145d15da2da (patch) | |
| tree | 7a5b0ad0ce8eb7098ddc9a2a233f501f83392078 /src/version | |
| parent | 278ef48ab6da8b30a940da722d3701c84fa1e5e2 (diff) | |
Bump to next snapshot version. Make scripts more efficient by avoiding call of cat
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 840ca8c..8df077e 100644 --- a/src/version +++ b/src/version @@ -1 +1 @@ -1.4
\ No newline at end of file +1.5-SNAPSHOT |
