| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 8 |  .. |
| -rw-r--r-- | 1164 |  gen-float-table.awk |
| -rw-r--r-- | 1262 | gen-float-table.c |
| -rw-r--r-- | 743 | gen-float-table.py |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 8 | .. |
| -rw-r--r-- | 1164 | gen-float-table.awk |
| -rw-r--r-- | 1262 | gen-float-table.c |
| -rw-r--r-- | 743 | gen-float-table.py |