jon.recoil.org / odoc-scrollycode-extension
this repo has no description
fork atom
odoc-scrollycode-extension / src / dune
at main 10 lines 335 B view raw
1(library 2 (public_name odoc-scrollycode-extension.impl) 3 (name scrollycode_extension) 4 (modules scrollycode_extension scrollycode_css scrollycode_themes) 5 (libraries odoc.extension_api odoc.model odoc.document)) 6 7(plugin 8 (name odoc-scrollycode-extension) 9 (libraries odoc-scrollycode-extension.impl) 10 (site (odoc extensions)))