Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
ZwerOxotnik
Auto mining
Merge requests
!3
Update, add new hotkey to stop player auto-mining
Code
Review changes
Check out branch
Download
Patches
Plain diff
ZwerOxotnik
requested to merge
0.18
into
0.17
Apr 10, 2020
Overview
0
Commits
5
Changes
8
Expand
Merge request reports