diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-10-24 18:29:11 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-10-24 18:29:11 +0200 |
commit | 014e02e0a7d469d46bf5d8314efe039bea3c0dbe (patch) | |
tree | 3132f97dc7345707e6a2738b93af83e5c3a74534 /.gitignore | |
parent | 0be88deef5e9ace1323cf8adc474bf2e4ada9153 (diff) | |
parent | 3a507c03c91efe67afa9f2dd51bf77c7af6df0f5 (diff) |
Merge remote-tracking branch 'github/pr/326' into v8.5
Was PR#326: Extend documentation of auto
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions