diff --git a/misc/.gitignore b/misc/.gitignore index 81c83739da1c867d63bc801fa28079c3c3151f1b..2b475b4a47250416a6b7e5a92469230e07bf66a4 100644 --- a/misc/.gitignore +++ b/misc/.gitignore @@ -2,4 +2,5 @@ /*.dvi /*.log /*.aux +/*.asc /auto diff --git a/misc/nettle-3.1.1.tar.gz.directive b/misc/nettle-3.1.1.tar.gz.directive new file mode 100644 index 0000000000000000000000000000000000000000..c71bbf43f4e47cd1ebe29b275f8170b65a61ff40 --- /dev/null +++ b/misc/nettle-3.1.1.tar.gz.directive @@ -0,0 +1,3 @@ +version: 1.2 +directory: nettle +filename: nettle-3.1.1.tar.gz diff --git a/misc/nettle-3.1.tar.gz.directive b/misc/nettle-3.1.tar.gz.directive new file mode 100644 index 0000000000000000000000000000000000000000..2d00b8f560ce7d6ae5b16034f05880fc3d6a4a8f --- /dev/null +++ b/misc/nettle-3.1.tar.gz.directive @@ -0,0 +1,3 @@ +version: 1.2 +directory: nettle +filename: nettle-3.1.tar.gz