Resolve "Replace stars with mines in settings page" (!17) · Merge requests · android / org.benoitharrault.minehunter · GitLab

Snippets Groups Projects

Merged Benoît Harrault requested to merge 17-replace-stars-with-mines-in-settings-page into master 3 years ago

Closes #17 (closed)

Edited 3 years ago by Benoît Harrault

Activity

Benoît Harrault assigned to @benoit 3 years ago

assigned to @benoit
Benoît Harrault added 1 commit 3 years ago
added 1 commit

e256a46a - Improve difficulty icons

Compare with previous version
Benoît Harrault marked this merge request as ready 3 years ago

marked this merge request as ready
Benoît Harrault enabled an automatic merge when the pipeline for e256a46a succeeds 3 years ago

enabled an automatic merge when the pipeline for e256a46a succeeds
Benoît Harrault merged 3 years ago

merged
Benoît Harrault mentioned in commit fe0c57be 3 years ago

mentioned in commit fe0c57be

Please register or sign in to reply