diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2019-11-03 17:15:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-03 17:15:06 +0100 |
| commit | 01455c318827b82a50889f186ee59bb690c36255 (patch) | |
| tree | 5dfc016391e042d528ee9ad2be494801992176b6 /autogen.sh | |
| parent | a5210af823b449592a075a0cd8535f5656cf1866 (diff) | |
| parent | dfd962a8bc09286e426d728d65ae37bf2f122257 (diff) | |
Merge pull request #808 from oleg-umnik/dev
Change type
Diffstat (limited to 'autogen.sh')
0 files changed, 0 insertions, 0 deletions