diff options
author | M.Gergo | 2020-10-28 11:35:04 +0100 |
---|---|---|
committer | M.Gergo | 2020-10-28 11:35:04 +0100 |
commit | c279e479aa9c943fd0fc2b396638a5208c78cfb9 (patch) | |
tree | 934606a81b5facced41a555ccfd606f2ab56c195 /mayor-orig/rev.txt | |
parent | a5ac3d0ab4015ed2683706cd0677ce6ce159f0ed (diff) | |
download | mayor-c279e479aa9c943fd0fc2b396638a5208c78cfb9.tar.gz mayor-c279e479aa9c943fd0fc2b396638a5208c78cfb9.zip |
Rev: 4695rev4695
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 54f5b275..9bce5583 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4691 +4695 |