Skip to content
GitLab
Explore
Sign in
World
Tau
Merge requests
!386
feat(tau): add terminal
Code
Review changes
Check out branch
Download
Patches
Plain diff
Rasmus Thomsen
requested to merge
new-gtk-rs-release
into
master
Oct 29, 2019
Overview
2
Commits
15
Pipelines
14
Changes
23
Expand
fixes
#366 (closed)
Also update the deps
Edited
Feb 16, 2020
by
Rasmus Thomsen
Merge request reports