diff options
author | Pieter Wuille <pieter.wuille@gmail.com> | 2017-09-24 17:38:47 -0700 |
---|---|---|
committer | Pieter Wuille <pieter.wuille@gmail.com> | 2017-09-24 17:38:59 -0700 |
commit | 12ed800ab870e0fc527a84d6e4584b10c8d239f5 (patch) | |
tree | 5a564255d14fae0849ba8f797fe1a10663b210c4 /test | |
parent | 10a20bf7700e3d59f8e2ce3d4eaebf472d1754ce (diff) | |
parent | 90ab62c4512942f1d252259a892e1cbeeb92789e (diff) |
Merge #11390: [docs] document scripted-diff
90ab62c45 [docs] document scripted-diff (John Newbery)
Pull request description:
Document scripted-diffs in developer-notes.md
I sometimes comment on PRs that a scripted-diff would be appropriate, but I don't have any documentation to point to. Fix that.
Tree-SHA512: 7d4a14b9217c812e4c27601e5e6dd8054cf5104cd20ecbe1ec0a84c217cc4b0645b7c0d2e3a89fdd4d059cafbc388acbddba75a430308f8279200b9383e009de
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions