From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Juanma Barranquero Newsgroups: gmane.emacs.devel Subject: Re: options.el obsolete? Date: Thu, 11 Jul 2002 15:15:27 +0200 Sender: emacs-devel-admin@gnu.org Message-ID: <20020711151323.5C28.LEKTU@terra.es> References: <20020710115646.D774.LEKTU@terra.es> <200207101920.g6AJKa615736@aztec.santafe.edu> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: main.gmane.org 1026393339 4299 127.0.0.1 (11 Jul 2002 13:15:39 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Thu, 11 Jul 2002 13:15:39 +0000 (UTC) Cc: emacs-devel@gnu.org Return-path: Original-Received: from quimby.gnus.org ([80.91.224.244]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 17SdnH-00017E-00 for ; Thu, 11 Jul 2002 15:15:39 +0200 Original-Received: from fencepost.gnu.org ([199.232.76.164]) by quimby.gnus.org with esmtp (Exim 3.12 #1 (Debian)) id 17Sdwg-0001vz-00 for ; Thu, 11 Jul 2002 15:25:22 +0200 Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17Sdnw-0006Pu-00; Thu, 11 Jul 2002 09:16:20 -0400 Original-Received: from [62.22.27.141] (helo=mail.peoplecall.com) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17Sdn7-0006OW-00; Thu, 11 Jul 2002 09:15:29 -0400 Original-Received: from [62.22.27.143] (jbarranquero.ofi.peoplecall.com [62.22.27.143]) by mail.peoplecall.com (8.11.6/8.11.6) with ESMTP id g6BDFSM26383; Thu, 11 Jul 2002 15:15:28 +0200 Original-To: rms@gnu.org In-Reply-To: <200207101920.g6AJKa615736@aztec.santafe.edu> X-Mailer: Becky! ver. 2.05 Errors-To: emacs-devel-admin@gnu.org X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Emacs development discussions. List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.devel:5652 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:5652 On Wed, 10 Jul 2002 13:20:36 -0600 (MDT), Richard Stallman wrote: > Please do. Don't know the right procedure with CVS. I suppose remove'ing it from one directory and add'ing it to the other and commiting would suffice, but I prefer for a more knowledgeable CVS user to do it. /L/e/k/t/u