diff options
author | M.Gergo | 2018-12-16 16:35:17 +0100 |
---|---|---|
committer | M.Gergo | 2018-12-16 16:35:17 +0100 |
commit | e6988247360fa98b85915a38803d018dd353df00 (patch) | |
tree | 24f42628f6cdaedacc06ce033378173a0e561be9 /mayor-installer-orig/log/mayor-installer.rev | |
parent | 2a219b9ea312fb88703a33ea2450e32af40be64a (diff) | |
download | mayor-e6988247360fa98b85915a38803d018dd353df00.tar.gz mayor-e6988247360fa98b85915a38803d018dd353df00.zip |
Rev: 4412
Diffstat (limited to 'mayor-installer-orig/log/mayor-installer.rev')
-rw-r--r-- | mayor-installer-orig/log/mayor-installer.rev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mayor-installer-orig/log/mayor-installer.rev b/mayor-installer-orig/log/mayor-installer.rev index 81b1d8a7..4a3510ca 100644 --- a/mayor-installer-orig/log/mayor-installer.rev +++ b/mayor-installer-orig/log/mayor-installer.rev @@ -1 +1 @@ -4371 +4412 |