diff options
| author | ache <ache@ache.one> | 2023-02-26 01:18:15 +0100 |
|---|---|---|
| committer | ache <ache@ache.one> | 2023-02-26 01:18:15 +0100 |
| commit | b035c6992fe6582ed8ba90a0259655c26ff93995 (patch) | |
| tree | 51cae36ae3783b549696c524ae53dec9673e40fe /functions | |
| parent | Use type instead of which (diff) | |
Configur Lean
Diffstat (limited to 'functions')
0 files changed, 0 insertions, 0 deletions