diff options
Diffstat (limited to 'ports/sysdeps/tile/Implies')
| -rw-r--r-- | ports/sysdeps/tile/Implies | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ports/sysdeps/tile/Implies b/ports/sysdeps/tile/Implies deleted file mode 100644 index 5b29b26..0000000 --- a/ports/sysdeps/tile/Implies +++ /dev/null @@ -1,2 +0,0 @@ -ieee754/dbl-64 -ieee754/flt-32 |