[GTK] make dist is broken
[WebKit-https.git] / Tools / gtk /
drwxr-xr-x   ..
-rwxr-xr-x 3186 check-for-webkitdom-api-breaks
-rw-r--r-- 4745 common.py
-rwxr-xr-x 8523 generate-gtkdoc
-rwxr-xr-x 2422 generate-inspector-gresource-manifest.py
-rw-r--r-- 18734 gtkdoc.py
-rwxr-xr-x 5261 install-dependencies
-rw-r--r-- 2156 jhbuild-optional.modules
-rw-r--r-- 1675 jhbuild-wayland.modules
-rw-r--r-- 14264 jhbuild.modules
-rw-r--r-- 1566 jhbuildrc
-rwxr-xr-x 8259 make-dist.py
-rw-r--r-- 1835 manifest.txt
drwxr-xr-x - patches
-rw-r--r-- 228 symbols.filter
-rwxr-xr-x 8440 webkitdom.py
-rw-r--r-- 5040 ycm_extra_conf.py