Merge pull request #2231 from zed-industries/nate/add-gruvbox

Add Gruvbox Theme
This commit is contained in:
Nate Butler
2023-03-06 18:49:26 -08:00
committed by GitHub
21 changed files with 397 additions and 211 deletions
+4
View File
@@ -29,6 +29,10 @@ export interface Meta {
export interface License {
SPDX: SPDXExpression
/// A url where we can download the license's text
license_text: Verification | string
}
export interface Verification {
https_url: string
license_checksum: string
}