install the .defs files into the correct defs folder
[pywebkitgtk.git] / webkit / 
tree850685aa7683d8fdf6b339376460efbd13045eda
drwxr-xr-x   ..
-rw-r--r-- 15029 webkit-1.0.2.defs
-rw-r--r-- 2393 webkit-base-types.defs
-rw-r--r-- 1221 webkit-dev-types.defs
-rw-r--r-- 2226 webkit-dev.defs
-rw-r--r-- 3598 webkit.override
-rw-r--r-- 1880 webkitmodule.c