|
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] |