config/tools/sstrip.in
changeset 1853 8676886c1ca9
parent 1615 50b25816f5bb
     1.1 --- a/config/tools/sstrip.in	Wed Oct 28 19:15:50 2009 +0100
     1.2 +++ b/config/tools/sstrip.in	Mon Mar 15 22:02:02 2010 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  # Configuration file for sstrip tool facility
     1.5 +# depends on ! BACKEND
     1.6  
     1.7  config TOOL_sstrip
     1.8      help