diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-03-20 12:04:23 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-03-20 12:05:05 +0100 |
commit | c7abfa595dda5b74b0386532dc6a685ab1c7f009 (patch) | |
tree | f5cc097784cc4b011a67844bfaf2817791a57006 /src/Makefile.am | |
parent | 29fef0b9039be4a9595d4ecc44bc77a06321fc10 (diff) | |
parent | adaa568722e59cde510c5fe1997c49cbb9d7db12 (diff) |
Merge pull request #5149
adaa568 Add script to verify all merge commits are signed (Matt Corallo)
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions