package info
(click to toggle)
Folder: docker
 |
.. (parent) | |||
 |
- | rw-r--r-- | 14,767 | Dockerfile |
|
- | rwxr-xr-x | 288 | dolfinx-complex-mode |
|
- | rwxr-xr-x | 276 | dolfinx-real-mode |
|
- | rw-r--r-- | 4 | dolfinx_jit_parameters.json |
|
- | rw-r--r-- | 4 | ffcx_parameters.json |