| Author | Pius Raeder <raeder.pius@googlemail.com> |
| Author date | 2019-11-16 13:42:34 |
| Author local date | 2019-11-16 14:42:34 +0100 |
| Committer | Pius Raeder <raeder.pius@googlemail.com> |
| Committer date | 2019-11-16 13:42:34 |
| Committer local date | 2019-11-16 14:42:34 +0100 |
| Commit | d606698a6585dd7fa8ee7ff1631e0f0e6de5b75c |
| Tree | 34e442c4ee234ab358a1d91e2d11757dc6fec6fe |
| Parent | d6ab6be3882c4c57839f8a127d112dec5316c773 |