diff options
Diffstat (limited to 'src/pubkey/dl_group/info.txt')
-rw-r--r-- | src/pubkey/dl_group/info.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/pubkey/dl_group/info.txt b/src/pubkey/dl_group/info.txt deleted file mode 100644 index 26c6f12ca..000000000 --- a/src/pubkey/dl_group/info.txt +++ /dev/null @@ -1,10 +0,0 @@ -define DL_GROUP 20131128 - -<requires> -asn1 -bigint -filters -libstate -numbertheory -pem -</requires> |