diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-12-01 15:27:20 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-12-01 15:28:53 +0100 |
| commit | 00d25e90db06149fa456b0a8f15b7b68005ff9c5 (patch) | |
| tree | 0c17ff3e11f6a6b54dbd298f1aaebb589b8e44bf /doc | |
| parent | 0d7e0a3289baa3b641ca7ab864c5e8af4306f4de (diff) | |
| parent | bf20a7d6404e92efed07f81b4ffd3eab406d2526 (diff) | |
Merge #11804: [docs] Fixed outdated link with archive.is
bf20a7d [docs] Fixed outdated link with archive.is (Tim Shimmin)
Tree-SHA512: 7d316aa4c462213578a9a1e71b06a459924ed3bb681a0469cc3719b21a871a6350fff4656696057e362561ee10dc10e933fe1328ef454ab7e133ecf05549ec1c
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions