rm headers_lib

This commit is contained in:
swrup 2026-03-20 01:13:21 +01:00 committed by Swrup
parent 75759afe69
commit 4e707b080a
7 changed files with 29 additions and 149 deletions

View file

@ -47,10 +47,12 @@ let reporter : Logs.reporter =
in
{ report }
(*
let set_level_secmods lvl =
let secmod_srcs = [ Secmod_rsa.src; Secmod_eddsa.src ] in
List.iter (fun src -> Logs.Src.set_level src lvl) secmod_srcs;
()
*)
let setup level =
(* set_level_secmods level; *)