diff options
| author | M.Gergo | 2020-11-25 13:30:04 +0100 |
|---|---|---|
| committer | M.Gergo | 2020-11-25 13:30:04 +0100 |
| commit | eba77eabc9b033ef3b904eec7737bc997db37596 (patch) | |
| tree | 10039d42f28d7ed1fbeb4cd1b9cabf03c4631e58 /mayor-orig/rev.txt | |
| parent | 5d168373f8d3de040dd0f696f2f783958b1304de (diff) | |
| download | mayor-eba77eabc9b033ef3b904eec7737bc997db37596.tar.gz mayor-eba77eabc9b033ef3b904eec7737bc997db37596.zip | |
Rev: 4712rev4712
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 de4ba040..acbf96c3 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4710 +4712 |