jbosstools/jbosstools-openshift — pull request #473 by dazarov (2014-08-07 23:15:11+00:00)
Title: JBIDE-12658 SSH keys wizard: deleting a character in the private key, do...

...es not delete it for the public key