diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-11-08T13·19+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-08T13·19+0100 |
| commit | 5eddc24fabc131dd917d4b38e170735e11fb8394 (patch) | |
| tree | 4c76eab6b41a5947fe6dd8f6e239a3abc4357f01 /version | |
| parent | 750400e0fa9d8c32afa15bba94c29c03935c1da5 (diff) | |
| parent | 34d2948f219afdecb41ffd080f02f6ccc0a7bb7c (diff) | |
Merge pull request #2526 from mayflower/manual-fix
Fix manual build
Diffstat (limited to 'version')
0 files changed, 0 insertions, 0 deletions