https://archive.eclipse.org/tools/gef/backup/cvs/org.eclipse.gef/org.eclipse.gef/.settings/
| File | Size | Permissions | Date |
|---|---|---|---|
 .. |
drwxrwsr-x | 2012-02-13 16:00:07 | |
 .api_filters,v |
28.41kB | -r--rwxr-- | 2012-02-13 16:00:06 |
| checkstyleAPI.xml,v |
5.07kB | -r--rwxr-- | 2012-02-13 16:00:06 |
| checkstyleGeneric.xml,v |
9.42kB | -r--rwxr-- | 2012-02-13 16:00:06 |
| org.eclipse.jdt.core.prefs,v |
55.83kB | -r--rwxr-- | 2012-02-13 16:00:06 |
| org.eclipse.jdt.ui.prefs,v |
22.56kB | -r--rwxr-- | 2012-02-13 16:00:06 |
| org.eclipse.pde.api.tools.prefs,v |
7.13kB | -r--rwxr-- | 2012-02-13 16:00:06 |