Sorry, last posting was accidently sent. Was: Fwd: Re: [jdt-ui-dev] Prop

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Sorry, last posting was accidently sent. Was: Fwd: Re: [jdt-ui-dev] Proposal: Refactoring "Remove unused members"

From: Mariano Kamp <mkamp@xxxxxx>
Date: Tue, 15 Jul 2003 13:55:07 +0200
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/jdt-ui-dev/>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>
User-agent: KMail/1.5.2

I tried to set my mail client to fonts with fixed width and accidently hit the 
send button, sorry.

Prev by Date: Re: [jdt-ui-dev] Proposal: Refactoring "Remove unused members"
Next by Date: Re: [jdt-ui-dev] Proposal: Refactoring "Remove unused members"
Previous by thread: [jdt-ui-dev] HEAD of org.eclipse.jdt.ui requires HEAD of the org.eclipse.jface.text plug-in
Next by thread: [jdt-ui-dev] request for comments on test grid draft for M2
Index(es):
- Date
- Thread

Back to the top