diff --git a/.gitignore b/.gitignore index c6127b38c1aa25968a88db3940604d41529e4cf5..4bf974a8994c2ee687383ddb4194759098412bb5 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,6 @@ # Prerequisites *.d - +*.autosave # Object files *.o *.ko diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index d3d58e0ec841e677b454839402cc36434ee59f00..0000000000000000000000000000000000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "crypt/picnic"] - path = crypt/picnic - url = https://github.com/IAIK/Picnic.git diff --git a/crypt/picnic b/crypt/picnic deleted file mode 160000 index 423b5da7036ac3b090d50bdff1e9a8ea34e37d11..0000000000000000000000000000000000000000 --- a/crypt/picnic +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 423b5da7036ac3b090d50bdff1e9a8ea34e37d11