diff options
| -rw-r--r-- | bin/eclipse/Cristal Kernel Server.launch (renamed from bin/eclipse/Cristal 2.3 Server.launch) | 0 | ||||
| -rw-r--r-- | bin/eclipse/Cristal Kernel UserCode.launch (renamed from bin/eclipse/Cristal 2.3 UserCode.launch) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/bin/eclipse/Cristal 2.3 Server.launch b/bin/eclipse/Cristal Kernel Server.launch index 99d3854..99d3854 100644 --- a/bin/eclipse/Cristal 2.3 Server.launch +++ b/bin/eclipse/Cristal Kernel Server.launch diff --git a/bin/eclipse/Cristal 2.3 UserCode.launch b/bin/eclipse/Cristal Kernel UserCode.launch index 7932c07..7932c07 100644 --- a/bin/eclipse/Cristal 2.3 UserCode.launch +++ b/bin/eclipse/Cristal Kernel UserCode.launch |