commit | dba12aa5fcfc32b47874d50875cee964383f67a3 | [log] [tgz] |
---|---|---|
author | Christian Pontesegger <christian.pontesegger@web.de> | Mon Dec 01 10:27:05 2014 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Mon Dec 01 10:27:05 2014 -0500 |
tree | 9d09f13cdd2e8e973b4844969a44eca2a8f8ac24 | |
parent | bfdbbc70458bd40b636329a6c644f14e6273ff2b [diff] | |
parent | 77cb989debe9a8970ab751a008cf8f30206e5b41 [diff] |
Merge "add_console_log_statement_for_selection_into_clipboard.js and put_hello_world_into_clipboard.js using new UI.setClipboard API call"