diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/editor.properties | 5 | ||||
| -rw-r--r-- | resources/graph.properties | 11 |
2 files changed, 0 insertions, 16 deletions
diff --git a/resources/editor.properties b/resources/editor.properties deleted file mode 100644 index 23432a8..0000000 --- a/resources/editor.properties +++ /dev/null @@ -1,5 +0,0 @@ -askZoom=Enter zoom (%25) -properties=Properties -outline=Outline -tasks=Tasks -help=Help diff --git a/resources/graph.properties b/resources/graph.properties deleted file mode 100644 index baf61f8..0000000 --- a/resources/graph.properties +++ /dev/null @@ -1,11 +0,0 @@ -alreadyConnected=Nodes already connected -containsValidationErrors=Contains validation errors -updatingDocument=Updating Document. Please wait... -updatingSelection=Updating Selection. Please wait... -collapse-expand=Collapse/Expand -doubleClickOrientation=Doubleclick to change orientation -close=Close -error=Error -done=Done -cancel=Cancel -ok=OK |