Small fix for my previous patch. Do not try to delete a member
authormrobinson@webkit.org <mrobinson@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Sat, 3 Dec 2011 16:37:50 +0000 (16:37 +0000)
committermrobinson@webkit.org <mrobinson@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Sat, 3 Dec 2011 16:37:50 +0000 (16:37 +0000)
commit74760e1f9577bff7796efb5f692f1be87a6ba8bf
tree5d48d2a61ac8c964be11dc71ad6e6c6a5de6f54b
parent25e425483141dfe67d067864600f9a9f5b037885
Small fix for my previous patch. Do not try to delete a member
of a dictionary that does not exist.

Reviewed by Gustavo Noronha Silva.

* gtk/run-with-jhbuild:
(install_and_run_jhbuild):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@101930 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Tools/ChangeLog
Tools/gtk/run-with-jhbuild