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-093d027421ea9e7aa209309ac94caf666fe351d9.tar.gz mayor-093d027421ea9e7aa209309ac94caf666fe351d9.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 |