Changeset 65 in code for trunk/cli/pull.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/pull.ml

    r42 r65  
    139139        | "" -> pull_list auths topics | x -> ignore (pull_index x auths topics)
    140140
    141 open Cmdliner
     141open Ocmd
    142142let term =
    143143        let authors = Arg.(value & opt (some string) None & info ["a"; "authors"]
Note: See TracChangeset for help on using the changeset viewer.