diff options
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 |
