diff options
| author | M.Gergo | 2019-03-08 23:32:47 +0100 |
|---|---|---|
| committer | M.Gergo | 2019-03-08 23:32:47 +0100 |
| commit | c0f79397dd75e03a7a40303f82926e8187697d07 (patch) | |
| tree | e945a10ef6479e0f8720ad9cd4947b6a85b78d6e /mayor-orig/rev.txt | |
| parent | f51c9ed2abe5c68211bb3736be5f70b1fe2c9ec0 (diff) | |
| download | mayor-c0f79397dd75e03a7a40303f82926e8187697d07.tar.gz mayor-c0f79397dd75e03a7a40303f82926e8187697d07.zip | |
Rev: 4455
Diffstat (limited to 'mayor-orig/rev.txt')
| -rw-r--r-- | mayor-orig/rev.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mayor-orig/rev.txt b/mayor-orig/rev.txt new file mode 100644 index 00000000..ab5135de --- /dev/null +++ b/mayor-orig/rev.txt @@ -0,0 +1 @@ +4455 |