diff options
| author | M.Gergo | 2020-11-19 14:20:03 +0100 |
|---|---|---|
| committer | M.Gergo | 2020-11-19 14:20:03 +0100 |
| commit | 5d168373f8d3de040dd0f696f2f783958b1304de (patch) | |
| tree | ba509bd157776b62f5c82d8de74bda73f4ec196f /mayor-orig/rev.txt | |
| parent | c279e479aa9c943fd0fc2b396638a5208c78cfb9 (diff) | |
| download | mayor-5d168373f8d3de040dd0f696f2f783958b1304de.tar.gz mayor-5d168373f8d3de040dd0f696f2f783958b1304de.zip | |
Rev: 4710rev4710
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 9bce5583..de4ba040 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4695 +4710 |