From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1021 invoked by alias); 20 Oct 2002 20:28:17 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 1001 invoked by uid 61); 20 Oct 2002 20:28:17 -0000 Date: Sun, 20 Oct 2002 13:28:00 -0000 Message-ID: <20021020202817.1000.qmail@sources.redhat.com> To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jsm28@cam.ac.uk, nobody@gcc.gnu.org From: neroden@gcc.gnu.org Reply-To: neroden@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jsm28@cam.ac.uk, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: c/761: Undocumented options, part 1 X-SW-Source: 2002-10/txt/msg00760.txt.bz2 List-Id: Synopsis: Undocumented options, part 1 State-Changed-From-To: analyzed->closed State-Changed-By: neroden State-Changed-When: Sun Oct 20 13:28:17 2002 State-Changed-Why: Everything mentioned previously appears to be documented or removed. If new undocumented options are discovered or created, open a new bug. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=761