diff options
Diffstat (limited to 'eclipse/images')
| -rw-r--r-- | eclipse/images/eclipse-launchconfig.png | bin | 95696 -> 113277 bytes |
| -rw-r--r-- | eclipse/images/eclipse-test-manager.png | bin | 0 -> 45365 bytes |
| -rw-r--r-- | eclipse/images/eclipse-treebank-manager.png | bin | 41492 -> 0 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/eclipse/images/eclipse-launchconfig.png b/eclipse/images/eclipse-launchconfig.png Binary files differindex 5c5ea8b1b..214c42b7a 100644 --- a/eclipse/images/eclipse-launchconfig.png +++ b/eclipse/images/eclipse-launchconfig.png diff --git a/eclipse/images/eclipse-test-manager.png b/eclipse/images/eclipse-test-manager.png Binary files differnew file mode 100644 index 000000000..0865f370d --- /dev/null +++ b/eclipse/images/eclipse-test-manager.png diff --git a/eclipse/images/eclipse-treebank-manager.png b/eclipse/images/eclipse-treebank-manager.png Binary files differdeleted file mode 100644 index 8e19f86dd..000000000 --- a/eclipse/images/eclipse-treebank-manager.png +++ /dev/null |
