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/mayor-portal | |
| parent | b91cdd7ba1a9e9c8c605640cc3c910acd25bf767 (diff) | |
| download | mayor-rev4519.tar.gz mayor-rev4519.zip | |
Rev: 4519rev4519
Diffstat (limited to 'mayor-orig/mayor-portal')
| -rw-r--r-- | mayor-orig/mayor-portal/log/mayor-portal.rev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mayor-orig/mayor-portal/log/mayor-portal.rev b/mayor-orig/mayor-portal/log/mayor-portal.rev index 391392cb..d006b5a6 100644 --- a/mayor-orig/mayor-portal/log/mayor-portal.rev +++ b/mayor-orig/mayor-portal/log/mayor-portal.rev @@ -1 +1 @@ -4509 +4519 |