diff options
Diffstat (limited to 'src/Specific/solinas32_2e152m17')
-rw-r--r-- | src/Specific/solinas32_2e152m17/fibe.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e152m17/gmpsec.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e152m17/gmpvar.log | 1 | ||||
-rw-r--r-- | src/Specific/solinas32_2e152m17/gmpxx.log | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/src/Specific/solinas32_2e152m17/fibe.log b/src/Specific/solinas32_2e152m17/fibe.log deleted file mode 100644 index 857786f8d..000000000 --- a/src/Specific/solinas32_2e152m17/fibe.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e152m17 (real: 0.06, user: 0.06, sys: 0.00, mem: 988 ko) diff --git a/src/Specific/solinas32_2e152m17/gmpsec.log b/src/Specific/solinas32_2e152m17/gmpsec.log deleted file mode 100644 index 20331a207..000000000 --- a/src/Specific/solinas32_2e152m17/gmpsec.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e152m17 (real: 0.38, user: 0.38, sys: 0.00, mem: 1364 ko) diff --git a/src/Specific/solinas32_2e152m17/gmpvar.log b/src/Specific/solinas32_2e152m17/gmpvar.log deleted file mode 100644 index 388cc798d..000000000 --- a/src/Specific/solinas32_2e152m17/gmpvar.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e152m17 (real: 0.28, user: 0.28, sys: 0.00, mem: 1512 ko) diff --git a/src/Specific/solinas32_2e152m17/gmpxx.log b/src/Specific/solinas32_2e152m17/gmpxx.log deleted file mode 100644 index ba650b97d..000000000 --- a/src/Specific/solinas32_2e152m17/gmpxx.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/solinas32_2e152m17 (real: 0.81, user: 0.81, sys: 0.00, mem: 3444 ko) |