diff options
| author | Joe | 2022-06-20 14:21:21 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-20 14:21:21 +0000 |
| commit | e2878a6e21914541d546bf98c961f2d05e198e9d (patch) | |
| tree | 1bb4582106df3ee560cb0e4c53dd67b4d56ef4eb /runtime/queries/lean/folds.scm | |
| parent | ad15e7b5e8918e1521683c7f5c63d77e00c58023 (diff) | |
Add noctis bordo theme (#2830)
Diffstat (limited to 'runtime/queries/lean/folds.scm')
0 files changed, 0 insertions, 0 deletions