Skip to content
GitLab
Explore
Sign in
Register
GNOME
polari
Merge requests
!42
Add quit command
Code
Review changes
Check out branch
Download
Patches
Plain diff
YangKeao
requested to merge
YangKeao/polari:my_work
into
master
Apr 10, 2018
Overview
9
Commits
1
Pipelines
3
Changes
1
Expand
Implement quit command:
Use
polari --quit
to quit.
Merge request reports