summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2014-09-19 18:18:40 +0200
committerLinus Nordberg <linus@nordberg.se>2014-09-19 18:18:40 +0200
commit4689835ddc5af349ee44d2a095dfab03bd3181a5 (patch)
treed6542dcb36270edfe0a571256dd08e46c7246a71 /Makefile
parentb9dfa6adff4fbfd68b7a3d7477f0f410e8620e15 (diff)
Add get-entry-and-proof and adopt to new plop:inclusion/2 signature.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions