diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-12-25 08:25:56 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-12-25 08:25:56 +0100 |
| commit | 7d8344f3637d59b982c2ca0b1d8fd2889ec5d4a6 (patch) | |
| tree | 19b070a98ba1d659b64c19e3402038bc76e11b47 /project/revision.sh | |
| parent | 0e143e393d99ebb00cb14ffaa4c50efeec3729f1 (diff) | |
SZS v2.32a
Diffstat (limited to '')
| -rw-r--r-- | project/revision.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/revision.sh b/project/revision.sh index 9b2fea9..5f334fe 100644 --- a/project/revision.sh +++ b/project/revision.sh @@ -1 +1 @@ -revision=8725 +revision=8742 |