https://archive.eclipse.org/viatra/javadoc/1.7.0/org/eclipse/viatra/query/tooling/ui/queryexplorer/preference/
| File | Size | Permissions | Date |
|---|---|---|---|
 .. |
drwxrwsr-x | 2017-12-13 08:42:19 | |
 PatternInitializationPreferencePage.html |
13.49kB | -rw-rw-r-- | 2017-12-13 08:42:20 |
| PreferenceConstants.html |
8.60kB | -rw-rw-r-- | 2017-12-13 08:42:21 |
| package-frame.html |
1.20kB | -rw-rw-r-- | 2017-12-13 08:42:20 |
| package-summary.html |
5.47kB | -rw-rw-r-- | 2017-12-13 08:42:20 |
| package-tree.html |
5.72kB | -rw-rw-r-- | 2017-12-13 08:42:20 |