Parent Directory | Revision Log | Patch
revision 1.1 by simon_mld, Tue Apr 22 22:33:39 2003 UTC | revision 1.2 by spiralvoice, Thu Jul 7 00:25:45 2005 UTC | |
---|---|---|
# | Line 56 let op_config = "<file> use <file> as c | Line 56 let op_config = "<file> use <file> as c |
56 | (** Print the given string if we are in verbose mode.*) | (** Print the given string if we are in verbose mode.*) |
57 | let verbose s = | let verbose s = |
58 | if !verbose_mode then | if !verbose_mode then |
59 | (lprint_string s ; lprint_newline ()) | (lprint_string s ; lprintf_nl "") |
60 | ||
61 | (** {2 Help messages} *) | (** {2 Help messages} *) |
62 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |