diff options
author | Magnus Ahltorp <map@kth.se> | 2015-05-29 18:15:22 +0200 |
---|---|---|
committer | Magnus Ahltorp <map@kth.se> | 2015-05-29 18:15:22 +0200 |
commit | 4dad3a362533c17a30d501f98698ae04aa029e7c (patch) | |
tree | 1efca49eb3c28fb4e356edc7c4e525492c45579b /src/Makefile | |
parent | 42eebf1c68849b1367a8e87757f8019732058c50 (diff) |
Add verification of whole entry. Implement library call for plop verification.frontendverify
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions