diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..ec3b268 --- /dev/null +++ b/README.md @@ -0,0 +1,8 @@ +<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file. --> + +# Proof Repository + +This git repository is used a [Crev Proof +Repository](https://github.com/dpc/crev/wiki/Proof-Repository). + +<!-- Feel free to customize this file below this line --> |