diff options
| author | M.Gergo | 2019-09-06 11:04:22 +0200 |
|---|---|---|
| committer | M.Gergo | 2019-09-06 11:04:22 +0200 |
| commit | 8505f5bb03f6bb931a2d97592ad4c3d4ef475b71 (patch) | |
| tree | 0f8edfbcd0ac0337f209bf4f39295e0518ed88ee /mayor-orig/rev.txt | |
| parent | 4b6b59c8a750fe6408d5d0cbc0e584a737dd12c1 (diff) | |
| download | mayor-rev4537.tar.gz mayor-rev4537.zip | |
Rev: 4537rev4537
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 75c5751d..3b2c109f 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4535 +4537 |