diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-08-05 15:43:26 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-08-05 15:43:49 +0200 |
commit | 5e94d0036a76ea9d63e4ed17b12554caef7f55da (patch) | |
tree | e5b88551c3cd98b06e3dd4e369168760867338e1 /.gitignore | |
parent | 9ce0774aba7004c3f633fd57ed6707e759a9c7a9 (diff) | |
parent | e1eb741e342ef25e510db6c06935afc4116abd74 (diff) |
Merge pull request #4626
e1eb741 doc: Modernize steps to be followed after release (Wladimir J. van der Laan)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions