Package dolfin-doc: Files
Permissions | Path | Size | Date |
|---|---|---|---|
| drwxr-xr-x | /usr/share/doc/dolfin | 60.0 B | Dec 17, 2009, 05:47 PM |
| drwxr-xr-x | /usr/share/doc/dolfin/manual | 80.0 B | Dec 17, 2009, 05:47 PM |
| -rw-r--r-- | /usr/share/doc/dolfin/manual/dolfin-user-manual.pdf | 653.7 KB | Dec 17, 2009, 05:47 PM |
| -rw-r--r-- | /usr/share/doc/dolfin/manual/dolfin-user-manual.ps | 1.5 MB | Dec 17, 2009, 05:47 PM |