diff options
author | M.Gergo | 2021-09-21 13:20:05 +0200 |
---|---|---|
committer | M.Gergo | 2021-09-21 13:20:05 +0200 |
commit | a6185f7270c04c7469ea1a785e5cb35d2c3fdea6 (patch) | |
tree | dfdea96ca1ce29c407d3a046bf82c518a26a2ba0 /mayor-orig/rev.txt | |
parent | a50bf390cca05255feebfdce6bb70cdbb6c52733 (diff) | |
download | mayor-a6185f7270c04c7469ea1a785e5cb35d2c3fdea6.tar.gz mayor-a6185f7270c04c7469ea1a785e5cb35d2c3fdea6.zip |
Rev: 4814rev4814
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 eda99782..b9400eb9 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4793 +4814 |