Merge github#955: app-editors/gummi: minor fixes
[gentoo.git] / dev-ml / js_of_ocaml /
drwxr-xr-x   ..
-rw-r--r-- 383 Manifest
-rw-r--r-- 1514 js_of_ocaml-2.7.ebuild
-rw-r--r-- 688 metadata.xml