diff options
| author | M.Gergo | 2019-07-15 12:16:55 +0200 |
|---|---|---|
| committer | M.Gergo | 2019-07-15 12:16:55 +0200 |
| commit | 389e70b9aff181663269ab3e7ca3c16ab58f3e0f (patch) | |
| tree | 2886248de98edd44a0d1d73e1c6244b7f69c5104 /mayor-orig/rev.txt | |
| parent | b91cdd7ba1a9e9c8c605640cc3c910acd25bf767 (diff) | |
| download | mayor-389e70b9aff181663269ab3e7ca3c16ab58f3e0f.tar.gz mayor-389e70b9aff181663269ab3e7ca3c16ab58f3e0f.zip | |
Rev: 4519rev4519
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 391392cb..d006b5a6 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4509 +4519 |