+1

src/html/config.ml

reviewed

··· 69 69 let home_breadcrumb config = config.home_breadcrumb 70 70 71 71 let mode_links config = config.mode_links 72 72 + 72 73 let config_values config = config.config_values

+1

src/html/config.mli

reviewed

··· 50 50 val home_breadcrumb : t -> string option 51 51 52 52 val mode_links : t -> string option 53 53 + 53 54 val config_values : t -> (string * string) list

+1

src/odoc/bin/main.ml

reviewed

··· 1318 1318 $(i,https://example.com/modes#local)." 1319 1319 in 1320 1320 Arg.(value & opt (some string) None & info [ "mode-links" ] ~docv:"URI" ~doc) 1321 1321 + 1321 1322 let config_values_raw = 1322 1323 let doc = 1323 1324 "A configuration key=value pair passed to the shell plugin. \