diff options
| author | M.Gergo | 2020-03-25 10:35:03 +0100 |
|---|---|---|
| committer | M.Gergo | 2020-03-25 10:35:03 +0100 |
| commit | c84903ec54e700bae146f44f1e3ddbba1a5b5eef (patch) | |
| tree | b0637cfa55b3df19ece17f56a7f2a45f4777a48c /mayor-orig/rev.txt | |
| parent | 9229709aeaa2849c1f33db0819ac3865e7c29f61 (diff) | |
| download | mayor-85c924a9855f80d36cbb3654fc3d7705bb06529b.tar.gz mayor-85c924a9855f80d36cbb3654fc3d7705bb06529b.zip | |
Rev: 4637rev4637
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 b02620cf..95871898 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4636 +4637 |