Remove nonexistent hotkey used in rP6219, undefined until rP6233, unused since…
rP22822
Actions

Description

Remove nonexistent hotkey used in rP6219, undefined until rP6233, unused since rP16736.

refs #wfg 2008-07-12

Committed

elexis

Sep 1 2019, 1:22 PM

Parents

rP22821: standardize resource tooltips

Branches

Unknown

Tags

Unknown

Build Status

Buildable 9159
Build 15035: Post-Commit Build	Jenkins

Path

Size

ps/

trunk/

binaries/

data/

config/