diff options
| author | M.Gergo | 2022-07-27 19:30:06 +0200 |
|---|---|---|
| committer | M.Gergo | 2022-07-27 19:30:06 +0200 |
| commit | 9acd050ff186f06079b0bdb396d2f17bbbdc5336 (patch) | |
| tree | fbbd61eb2c7512b74a34ff49d183f58b730354f9 /mayor-orig/mayor-portal | |
| parent | a1743374b1a3f12a1d713cd40191bdb853c5e690 (diff) | |
| download | mayor-9acd050ff186f06079b0bdb396d2f17bbbdc5336.tar.gz mayor-9acd050ff186f06079b0bdb396d2f17bbbdc5336.zip | |
Rev: 4850
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 be364c8b..4d4433e4 100644 --- a/mayor-orig/mayor-portal/log/mayor-portal.rev +++ b/mayor-orig/mayor-portal/log/mayor-portal.rev @@ -1 +1 @@ -4847 +4850 |