diff options
Diffstat (limited to 'coqprime/elliptic/readme.md')
-rw-r--r-- | coqprime/elliptic/readme.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coqprime/elliptic/readme.md b/coqprime/elliptic/readme.md deleted file mode 100644 index 34900f526..000000000 --- a/coqprime/elliptic/readme.md +++ /dev/null @@ -1 +0,0 @@ -this is an empty directory now. |