Skip to content
Github Pages

Fix selection highlighting in remaining gruvbox derived themes (#7717) #54

Sign in to view logs

Fix selection highlighting in remaining gruvbox derived themes (#7717)

Fix selection highlighting in remaining gruvbox derived themes (#7717) #54

Triggered via push July 24, 2023 08:35
@lazytanukilazytanuki
pushed 48d57da
master
Status Success
Total duration 24s
Artifacts –

gh-pages.yml

on: push
deploy
12s
deploy
Fit to window
Zoom out
Zoom in