webkit-patch should not explode when $EDITOR is set incorrectly
[WebKit-https.git] / Tools / gtk /
drwxr-xr-x   ..
-rwxr-xr-x 2422 check-for-webkitdom-api-breaks
-rw-r--r-- 4745 common.py
-rwxr-xr-x 8877 generate-gtkdoc
-rwxr-xr-x 2630 generate-inspector-gresource-manifest.py
-rw-r--r-- 19008 gtkdoc.py
-rwxr-xr-x 9206 install-dependencies
-rw-r--r-- 2743 jhbuild-optional.modules
-rw-r--r-- 17200 jhbuild.modules
-rw-r--r-- 1589 jhbuildrc
-rwxr-xr-x 12145 make-dist.py
-rw-r--r-- 3250 manifest.txt.in
drwxr-xr-x - patches
-rwxr-xr-x 9775 webkitdom.py
-rw-r--r-- 5040 ycm_extra_conf.py