diff options
| author | Linus Nordberg <linus@nordberg.se> | 2014-09-19 18:18:40 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2014-09-19 18:18:40 +0200 |
| commit | 4689835ddc5af349ee44d2a095dfab03bd3181a5 (patch) | |
| tree | d6542dcb36270edfe0a571256dd08e46c7246a71 /reltool.config | |
| parent | b9dfa6adff4fbfd68b7a3d7477f0f410e8620e15 (diff) | |
Add get-entry-and-proof and adopt to new plop:inclusion/2 signature.
Diffstat (limited to 'reltool.config')
0 files changed, 0 insertions, 0 deletions