# HG changeset patch
# User diego
# Date 1154737258 0
# Node ID 9fc33f89c15f0f041004bb79213f2203d8e428c9
# Parent  f3a2785cd7f03fd29ee3e04b629e86a25ad7094f
10l, line from a local modification committed by accident.

diff -r f3a2785cd7f0 -r 9fc33f89c15f configure
--- a/configure	Fri Aug 04 23:57:04 2006 +0000
+++ b/configure	Sat Aug 05 00:20:58 2006 +0000
@@ -3813,7 +3813,6 @@
   _novomodules="xv $_novomodules"
 fi
 echores "$_xv"
-fi #if test "$_x11" = yes ; then
 
 
 echocheck "XvMC"