diff options
author | M.Gergo | 2019-09-06 13:29:32 +0200 |
---|---|---|
committer | M.Gergo | 2019-09-06 13:29:32 +0200 |
commit | 6d684ff9fb3caf8de057829bda27995d5d9de361 (patch) | |
tree | 5923ad3a57a1bc099bd8bb76fe840d6dce096e75 /mayor-orig/rev.txt | |
parent | 8505f5bb03f6bb931a2d97592ad4c3d4ef475b71 (diff) | |
download | mayor-7296d7b6bc5b82e3afac93f3ee48dbe4f0fb8647.tar.gz mayor-7296d7b6bc5b82e3afac93f3ee48dbe4f0fb8647.zip |
Rev: 4538rev4538
Diffstat (limited to 'mayor-orig/rev.txt')
-rw-r--r-- | mayor-orig/rev.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mayor-orig/rev.txt b/mayor-orig/rev.txt index 3b2c109f..1031aed8 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4537 +4538 |