diff options
| author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2017-06-27 06:07:23 +0000 |
|---|---|---|
| committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2017-06-27 06:07:23 +0000 |
| commit | 1bf1084f2b10c3b47fd1a588d85d21ed0eb41d0c (patch) | |
| tree | 46dcd36c86e7fbc6e5df36deb463b33e9967a6f7 /Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols | |
| parent | 32761a6cee1d0dee366b885b7b9c777e67885688 (diff) | |
| download | WebKitGtk-tarball-master.tar.gz | |
webkitgtk-2.16.5HEADwebkitgtk-2.16.5master
Diffstat (limited to 'Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols')
| -rw-r--r-- | Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols b/Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols deleted file mode 100644 index 92029b470..000000000 --- a/Source/WebCore/bindings/gobject/WebKitDOMCustom.symbols +++ /dev/null @@ -1,3 +0,0 @@ -gboolean webkit_dom_html_text_area_element_is_edited(WebKitDOMHTMLTextAreaElement*) -gboolean webkit_dom_html_input_element_is_edited(WebKitDOMHTMLInputElement*) -void webkit_dom_html_media_element_set_current_time(WebKitDOMHTMLMediaElement*, gdouble, GError**) |