/[dejagnu]/dejagnu/doc/overview/configfile.html
ViewVC logotype

Diff of /dejagnu/doc/overview/configfile.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.3 by rsavoye, Sat Aug 31 05:44:56 2002 UTC revision 1.4 by bje, Sun Aug 17 23:00:07 2003 UTC
# Line 111  CLASS="OPTION" Line 111  CLASS="OPTION"
111  >, and <TT  >, and <TT
112  CLASS="OPTION"  CLASS="OPTION"
113  >--version</TT  >--version</TT
114  >, each  >, each
115          command line option has an associated Tcl variable.  Use the          command line option has an associated Tcl variable.  Use the
116          Tcl <B          Tcl <B
117  CLASS="COMMAND"  CLASS="COMMAND"
# Line 541  VALIGN="top" Line 541  VALIGN="top"
541  ></DIV  ></DIV
542  ></BODY  ></BODY
543  ></HTML  ></HTML
 >  
544    >

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26