package info
(click to toggle)
Folder: prefs
![]() |
.. (parent) | |||
![]() |
d | rwxr-xr-x | 76 | private |
![]() |
- | rw-r--r-- | 15 | .oct-config |
![]() |
- | rw-r--r-- | 4,053 | addpref.m |
![]() |
- | rw-r--r-- | 5,680 | getpref.m |
![]() |
- | rw-r--r-- | 3,180 | ispref.m |
![]() |
- | rw-r--r-- | 786 | module.mk |
![]() |
- | rw-r--r-- | 1,701 | prefdir.m |
![]() |
- | rw-r--r-- | 1,460 | preferences.m |
![]() |
- | rw-r--r-- | 3,835 | rmpref.m |
![]() |
- | rw-r--r-- | 3,574 | setpref.m |