https://download.eclipse.org/ocl/javadoc/6.12.0/org/eclipse/ocl/common/ui/internal/preferences/
| File | Size | Permissions | Date |
|---|---|---|---|
| drwxrwxr-x | 2020-06-01 17:15:24 | ||
| drwxrwxr-x | 2020-06-01 17:15:20 | ||
| 19.58kB | -rw-rw-r-- | 2020-06-01 17:14:22 | |
| 16.50kB | -rw-rw-r-- | 2020-06-01 17:14:22 | |
| 12.18kB | -rw-rw-r-- | 2020-06-01 17:14:22 | |
| 1.29kB | -rw-rw-r-- | 2020-06-01 17:15:16 | |
| 6.15kB | -rw-rw-r-- | 2020-06-01 17:15:16 | |
| 5.93kB | -rw-rw-r-- | 2020-06-01 17:15:16 | |
| 8.69kB | -rw-rw-r-- | 2020-06-01 17:15:24 |