diff options
| author | not | 2023-01-12 23:29:05 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-12 23:29:05 +0000 |
| commit | 051cd786a43a84912413b526782adffa9698fcd9 (patch) | |
| tree | 84937538639cbf7085a667e8edf72545c611993b /runtime/queries/purescript | |
| parent | c988bd9629145b5a337498937a70af555bfa6159 (diff) | |
Rosé Pine theme: use official variants (#5489)
Diffstat (limited to 'runtime/queries/purescript')
0 files changed, 0 insertions, 0 deletions