# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1402482501 -7200
# Node ID 3017bd51f88e9bc4b07ac8dfeb74152db7129473
# Parent  40c47f6d2dc6bac0f50a0bac3387f150361377d4
*** empty log message ***

diff -r 40c47f6d2dc6 -r 3017bd51f88e script2.stx
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/script2.stx	Wed Jun 11 12:28:21 2014 +0200
@@ -0,0 +1,6 @@
+#!stx --script
+"/
+"/ notice that you can open more tools from the workspace
+"/ (i.e. eval: NewLauncher open)
+"/
+Workspace open