tree 9d09f13cdd2e8e973b4844969a44eca2a8f8ac24
parent bfdbbc70458bd40b636329a6c644f14e6273ff2b
parent 77cb989debe9a8970ab751a008cf8f30206e5b41
author Christian Pontesegger <christian.pontesegger@web.de> 1417447625 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1417447625 -0500

Merge "add_console_log_statement_for_selection_into_clipboard.js and put_hello_world_into_clipboard.js using new UI.setClipboard API call"