Changeset 65 in code for trunk/cli/edit.ml
- Timestamp:
- Aug 20, 2024, 1:17:24 PM (8 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/cli/edit.ml
r56 r65 1 open Cmdliner1 open Ocmd 2 2 let term = 3 3 let id = Arg.(value & pos 0 string "" & info [] ~docv:"text ID") in
Note:
See TracChangeset
for help on using the changeset viewer.