mldonkey-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMisc.ml


From: mldonkey-commits
Subject: [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMisc.ml
Date: Sat, 12 Nov 2005 06:16:41 -0500

Index: mldonkey/src/gtk2/gui/guiMisc.ml
diff -u mldonkey/src/gtk2/gui/guiMisc.ml:1.11 
mldonkey/src/gtk2/gui/guiMisc.ml:1.12
--- mldonkey/src/gtk2/gui/guiMisc.ml:1.11       Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiMisc.ml    Sat Nov 12 11:16:36 2005
@@ -363,7 +363,7 @@
   in
   s
 
-let rec rec_description_of_query q = 
+let rec rec_description_of_query q =
   match q with
   | Q_HIDDEN l
   | Q_AND l
@@ -371,7 +371,7 @@
 
   | Q_ANDNOT (q1, q2) -> rec_description_of_query q1
   | Q_MODULE (_,q) -> rec_description_of_query q
-       
+
   | Q_KEYWORDS (_,s) -> [s]
   | Q_MINSIZE _ 
   | Q_MAXSIZE _ -> []
@@ -382,7 +382,7 @@
   | Q_MP3_ALBUM (_,s) -> [s]
 
   | Q_COMBO _ -> []
-      
+
   | Q_MP3_BITRATE _ -> []
 
 (* Return few words for a given query *)




reply via email to

[Prev in Thread] Current Thread [Next in Thread]