changeset 53578 | 838d9e058a1a |
parent 53577 | d033bc00b762 |
child 56664 | 8ff8e5d00115 |
--- a/src/Tools/Graphview/lib/Tools/graphview Thu Sep 12 13:48:17 2013 +0200 +++ b/src/Tools/Graphview/lib/Tools/graphview Thu Sep 12 14:06:08 2013 +0200 @@ -139,7 +139,7 @@ rm -rf classes && mkdir classes ( - #workaround for scalac + #workaround for scalac 2.10.2 function stty() { :; } export -f stty