diff options
| author | M.Gergo | 2020-03-08 13:29:09 +0100 |
|---|---|---|
| committer | M.Gergo | 2020-03-08 13:29:09 +0100 |
| commit | 6cdef5739ed7e029d4631b849f157462e64bd045 (patch) | |
| tree | 0f66deedc5c0985e663f375b737b0e14064d25d4 /mayor-orig/rev.txt | |
| parent | c2908f8a1487e62c4a61032e261721cefc357980 (diff) | |
| download | mayor-6cdef5739ed7e029d4631b849f157462e64bd045.tar.gz mayor-6cdef5739ed7e029d4631b849f157462e64bd045.zip | |
Rev: 4615rev4615
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 c340a93c..24fa9a00 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4611 +4615 |