diff options
Diffstat (limited to 'src/Specific/solinas32_2e444m17')
-rw-r--r-- | src/Specific/solinas32_2e444m17/fibe.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e444m17/gmpsec.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e444m17/gmpvar.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e444m17/gmpxx.log | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/src/Specific/solinas32_2e444m17/fibe.log b/src/Specific/solinas32_2e444m17/fibe.log deleted file mode 100644 index 1c77f289a..000000000 --- a/src/Specific/solinas32_2e444m17/fibe.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e444m17 (real: 0.48, user: 0.48, sys: 0.00, mem: 988 ko) diff --git a/src/Specific/solinas32_2e444m17/gmpsec.log b/src/Specific/solinas32_2e444m17/gmpsec.log deleted file mode 100644 index b06693ed9..000000000 --- a/src/Specific/solinas32_2e444m17/gmpsec.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e444m17 (real: 1.12, user: 1.12, sys: 0.00, mem: 1392 ko) diff --git a/src/Specific/solinas32_2e444m17/gmpvar.log b/src/Specific/solinas32_2e444m17/gmpvar.log deleted file mode 100644 index 778b1eca6..000000000 --- a/src/Specific/solinas32_2e444m17/gmpvar.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e444m17 (real: 0.69, user: 0.68, sys: 0.00, mem: 1484 ko) diff --git a/src/Specific/solinas32_2e444m17/gmpxx.log b/src/Specific/solinas32_2e444m17/gmpxx.log deleted file mode 100644 index 402e5424a..000000000 --- a/src/Specific/solinas32_2e444m17/gmpxx.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e444m17 (real: 1.27, user: 1.27, sys: 0.00, mem: 3436 ko) |