diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-25 14:58:02 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-25 14:58:21 +0100 |
| commit | 0893705ebfa66c4997838734208ebf44a773eed7 (patch) | |
| tree | 32ce7cf55eecbc829024745d596b5fc92a5e72ba /configure.ac | |
| parent | 9f796f3d2b53dee0425aeede1e71d1e7add93a03 (diff) | |
| parent | 17b5d3896f2cd189b1a4665956bdfba368d46f0e (diff) | |
Merge #7395: devtools: show pull and commit information in github-merge
17b5d38 devtools: show pull and commit information in github-merge (Wladimir J. van der Laan)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions