Skip to content

Conversation

@adaex
Copy link
Contributor

@adaex adaex commented Nov 3, 2021

This PR follows the steps from CONTRIBUTING.md to pull in updates from seti-ui.

Update icons for Zig, see jesseweed/seti-ui#635

Screenshot of preview.html:

image

@aeschli aeschli merged commit 2e35efa into microsoft:main Nov 4, 2021
@aeschli aeschli added this to the November 2021 milestone Nov 4, 2021
@aeschli aeschli added themes Color theme issues feature-request Request for new features or functionality labels Nov 4, 2021
@aeschli
Copy link
Contributor

aeschli commented Nov 4, 2021

Thanks @adaex !

@adaex adaex deleted the update-seti-ui branch November 4, 2021 08:54
@ghost ghost mentioned this pull request Dec 9, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Dec 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

feature-request Request for new features or functionality themes Color theme issues

2 participants