diff options
| author | M.Gergo | 2020-07-17 11:40:03 +0200 |
|---|---|---|
| committer | M.Gergo | 2020-07-17 11:40:03 +0200 |
| commit | 148c5eb14880c1b5facd0abe0bbfc7af0a06d6c3 (patch) | |
| tree | 86ca683a24d66f67e2d161b6ef476a2af45d8537 /mayor-orig/rev.txt | |
| parent | 64ce9223f46a22258d9363c64c1a587016e85d3c (diff) | |
| download | mayor-148c5eb14880c1b5facd0abe0bbfc7af0a06d6c3.tar.gz mayor-148c5eb14880c1b5facd0abe0bbfc7af0a06d6c3.zip | |
Rev: 4666rev4666
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 c179a536..e8f0acdd 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4665 +4666 |