Skip to content
GitLab
Explore
Sign in
Register
CLI interface base
Code
Review changes
Check out branch
Download
Patches
Plain diff
David Gauchard
requested to merge
cliwip
into
master
May 20, 2022
Overview
0
Commits
2
Pipelines
0
Changes
2
Expand
CLI interface: preliminary API and integration are added
trying to avoid useless string copies = to be nice with the allocator
commercial documentation for CLI interface
Edited
May 20, 2022
by
David Gauchard
Merge request reports