diff options
author | M.Gergo | 2021-01-06 18:25:04 +0100 |
---|---|---|
committer | M.Gergo | 2021-01-06 18:25:04 +0100 |
commit | 6096375432ff70c57cb832cd4fcbb031eeaa3765 (patch) | |
tree | e92310a4a6d1f85e0925f2fce2898cacff3511cf /mayor-orig/rev.txt | |
parent | 5da1f06dce90826029f42c5e214f1e66f8dae0da (diff) | |
download | mayor-6096375432ff70c57cb832cd4fcbb031eeaa3765.tar.gz mayor-6096375432ff70c57cb832cd4fcbb031eeaa3765.zip |
Rev: 4715rev4715
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 b9dafcc3..a29b5fa9 100644 --- a/mayor-orig/rev.txt +++ b/mayor-orig/rev.txt @@ -1 +1 @@ -4713 +4715 |