0026237: Change platform in TODOs from Debian\Mandriva to Linux
[occt.git] / tests / bugs / iges / buc60591_3
index 3d17511..71bf882 100755 (executable)
@@ -1,5 +1,3 @@
-set os $env(os_type)
-
 puts "=================================="
 puts "BUC60591"
 puts "=================================="