[jdt-ui-dev] released to HEAD

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

[jdt-ui-dev] released to HEAD

From: Dirk_Baeumer@xxxxxxx
Date: Fri, 25 Jan 2002 19:12:56 +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>

8321 Refactoring Preferences Page should capitalize button titles
4144 Unused keys in Refactoring (1GIWKWN)
4170 extract method: modifiers (1GJKYB3)
4287 extract method: incorrect error message (1GKZ2UM)

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

Breadcrumbs