diff options
| author | 2025-11-27 20:25:04 +0100 | |
|---|---|---|
| committer | 2025-11-27 20:25:04 +0100 | |
| commit | 54e6c9f2b9a235c406daed1fea876145d15da2da (patch) | |
| tree | 7a5b0ad0ce8eb7098ddc9a2a233f501f83392078 /.gitignore | |
| parent | 278ef48ab6da8b30a940da722d3701c84fa1e5e2 (diff) | |
Bump to next snapshot version. Make scripts more efficient by avoiding call of cat
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions
