Changeset 65 in code for trunk/cli/index.ml


Ignore:
Timestamp:
Aug 20, 2024, 1:17:24 PM (8 months ago)
Author:
yakumo.izuru
Message:

Replace Cmdliner with Ocmd, re-add documentation

Signed-off-by: Izuru Yakumo <yakumo.izuru@…>

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/cli/index.ml

    r22 r65  
    6868        index { dir; index_path; pck = Header_pack.of_kv kv }
    6969
    70 open Cmdliner
     70open Ocmd
    7171let term =
    7272        let print= Arg.(value & flag & info ["print"] ~doc:"print info") in
Note: See TracChangeset for help on using the changeset viewer.