[jdt-ui-dev] releases

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

[jdt-ui-dev] releases

From: "Andre Weinand/ZRH/OTI" <Andre_Weinand@xxxxxxx>
Date: Tue, 20 Nov 2001 11:15:03 +0100
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>

(repost of a bounced release message from yesterday)

- first cut of: #3893 Add from local history formatting (1GF5GP4)
(The class AddMemberEdit2 in codemanipulation is temporary; it will become
AddMemberEdit today )

Prev by Date: [jdt-ui-dev] released
Next by Date: [jdt-ui-dev] released
Previous by thread: [jdt-ui-dev] releases
Next by thread: [jdt-ui-dev] releases
Index(es):
- Date
- Thread

Breadcrumbs