diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-28 12:52:12 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-28 12:52:12 +0000 |
| commit | 0f04d889034e7e172c10b0fd235aa421c150137e (patch) | |
| tree | 285ad4a4b4fb1f888ef0dc85d7070dc40943e685 /eclipse/images | |
| parent | 47c116b5a6b9ba99523c4beff6222b712c3922e9 (diff) | |
GFEP: page is now valid HTML and uses the gf.org stylesheet
Diffstat (limited to 'eclipse/images')
| -rw-r--r-- | eclipse/images/eclipse-after-format.png | bin | 22971 -> 18660 bytes |
| -rw-r--r-- | eclipse/images/eclipse-before-format.png | bin | 23370 -> 18794 bytes |
| -rw-r--r-- | eclipse/images/eclipse-treebank-manager.png | bin | 47156 -> 41492 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/eclipse/images/eclipse-after-format.png b/eclipse/images/eclipse-after-format.png Binary files differindex 35ac8f88c..da1a75248 100644 --- a/eclipse/images/eclipse-after-format.png +++ b/eclipse/images/eclipse-after-format.png diff --git a/eclipse/images/eclipse-before-format.png b/eclipse/images/eclipse-before-format.png Binary files differindex 5cbaa711a..eb7fbfd85 100644 --- a/eclipse/images/eclipse-before-format.png +++ b/eclipse/images/eclipse-before-format.png diff --git a/eclipse/images/eclipse-treebank-manager.png b/eclipse/images/eclipse-treebank-manager.png Binary files differindex 9c70ed6cd..8e19f86dd 100644 --- a/eclipse/images/eclipse-treebank-manager.png +++ b/eclipse/images/eclipse-treebank-manager.png |
