|
| From: | spiralvoice |
| Subject: | [Mldonkey-users] [patch #6087] Fix logging of verbosity "bw", remove obsolete options |
| Date: | Wed, 11 Jul 2007 22:50:33 +0000 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; de; rv:1.8.1.4) Gecko/20070508 Iceweasel/2.0.0.4 (Debian-2.0.0.4-0etch1) |
Follow-up Comment #1, patch #6087 (project mldonkey):
Renamed these functions for consistency:
-val option_to_stringvalue : string option -> option_value
-val stringvalue_to_option : option_value -> string option
+val stringoption_to_value : string option -> option_value
+val value_to_stringoption : option_value -> string option
as suggested by pango:
https://savannah.nongnu.org/patch/?func=detailitem&item_id=5151#comment2
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?6087>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.nongnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |