Skip to content

GitLab

Explore

Sign in
Register

Pinguin
Brugernavn
Merge requests
!10

Resolve "Add a terminal interface"

Review changes
Download
Patches
Plain diff

Pinguin requested to merge 12-add-a-terminal-interface into master Mar 03, 2023

Overview 0
Commits 2
Pipelines 0
Changes 2

Closes #12 (closed)

Merge request reports

Assignee

Assign to

Reviewers

Request review from

Time tracking