diff options
| author | Andrea Lepori <alepori@student.ethz.ch> | 2022-12-29 11:29:07 +0100 |
|---|---|---|
| committer | Andrea Lepori <alepori@student.ethz.ch> | 2022-12-29 11:29:08 +0100 |
| commit | 41e5d5870df06dce58e08b644c22bbb8ada8dc84 (patch) | |
| tree | 2820d4a8ef3af441801cd838130c34756f5e9f42 /version.txt | |
| parent | new way to select groups that can be overridden (diff) | |
| parent | remove unarchive, enable archive unapproved docs (diff) | |
| download | scout-subs-41e5d5870df06dce58e08b644c22bbb8ada8dc84.tar.gz scout-subs-41e5d5870df06dce58e08b644c22bbb8ada8dc84.zip | |
Merge branch 'master' into dev
Diffstat (limited to 'version.txt')
| -rw-r--r-- | version.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.txt b/version.txt index 13d18eb..9553714 100644 --- a/version.txt +++ b/version.txt @@ -1,2 +1,2 @@ version=0.6 -rev=12 +rev=14 |