diff options
Diffstat (limited to 'src/Specific/montgomery32_2e338m15')
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpsec.log | 1 | ||||
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpvar.log | 1 | ||||
| -rw-r--r-- | src/Specific/montgomery32_2e338m15/gmpxx.log | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/src/Specific/montgomery32_2e338m15/gmpsec.log b/src/Specific/montgomery32_2e338m15/gmpsec.log deleted file mode 100644 index 511a53dea..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpsec.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 0.80, user: 0.80, sys: 0.00, mem: 1384 ko) diff --git a/src/Specific/montgomery32_2e338m15/gmpvar.log b/src/Specific/montgomery32_2e338m15/gmpvar.log deleted file mode 100644 index b1c88e4fa..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpvar.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 0.54, user: 0.54, sys: 0.00, mem: 1456 ko) diff --git a/src/Specific/montgomery32_2e338m15/gmpxx.log b/src/Specific/montgomery32_2e338m15/gmpxx.log deleted file mode 100644 index 6622b82ba..000000000 --- a/src/Specific/montgomery32_2e338m15/gmpxx.log +++ /dev/null @@ -1 +0,0 @@ -src/Specific/montgomery32_2e338m15 (real: 1.06, user: 1.06, sys: 0.00, mem: 3472 ko) |