diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-10-15 12:54:06 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-10-15 12:54:13 +0200 |
commit | 8ce992063510b38fe7de89bec7af1d33aeeb5c93 (patch) | |
tree | 77bf87aa3176253952993bc1d804d890e816bc10 /src/version.h | |
parent | fa6b405f059444840eaa5022241cd29421bff994 (diff) | |
parent | a0d5e0d2f488a6249e01d00cbf864ca0e81894e3 (diff) |
Merge pull request #6817
a0d5e0d [doc] Cleanup release-process documentation (Michael)
Diffstat (limited to 'src/version.h')
0 files changed, 0 insertions, 0 deletions