webkitgtk: update to 2.18.0
[openadk.git] / package / flex / patches / 
treed32f45ac05cd7e5e11a467a612bc7afaac391be9
drwxr-xr-x   ..
-rw-r--r-- 316 patch-Makefile_am
-rw-r--r-- 307 patch-configure_ac
-rw-r--r-- 581 patch-src_Makefile_am