Changes

No change in size ,  16:54, 17 June 2016
Line 77: Line 77:  
The border between the left and right side of the window may be adjusted with the mouse.<br>
 
The border between the left and right side of the window may be adjusted with the mouse.<br>
   −
=== TOOLS ===
+
=== tools ===
    
offers possibilities for running short scripts.  
 
offers possibilities for running short scripts.  
2,494

edits