diff options
Diffstat (limited to 'libstdc++-v3/docs/html/configopts.html')
| -rw-r--r-- | libstdc++-v3/docs/html/configopts.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libstdc++-v3/docs/html/configopts.html b/libstdc++-v3/docs/html/configopts.html index 9a5b71f..e6391e9 100644 --- a/libstdc++-v3/docs/html/configopts.html +++ b/libstdc++-v3/docs/html/configopts.html @@ -7,7 +7,6 @@ <meta NAME="GENERATOR" CONTENT="vi and eight fingers"> <title>libstdc++-v3 configure options</title> <link REL=StyleSheet HREF="lib3styles.css"> -<!-- $Id: configopts.html,v 1.13 2001/08/08 02:48:58 bkoz Exp $ --> </head> <body> @@ -216,7 +215,8 @@ options</a></h1> <hr> <P CLASS="fineprint"><em> -$Id: configopts.html,v 1.13 2001/08/08 02:48:58 bkoz Exp $ +Comments and suggestions are welcome, and may be sent to +<a href="mailto:libstdc++@gcc.gnu.org">the mailing list</a>. </em></p> |