From 26cf175ed176d9c95c607e6f971601f8d3ee1e67 Mon Sep 17 00:00:00 2001 From: buffet Date: Wed, 10 Jul 2024 17:26:40 +0200 Subject: [PATCH] docs: add readme --- README.rst | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 README.rst diff --git a/README.rst b/README.rst new file mode 100644 index 0000000..c7dbf90 --- /dev/null +++ b/README.rst @@ -0,0 +1,2 @@ +crev proofs +===========