diff options
author | amesgen <amesgen@amesgen.de> | 2023-12-07 17:46:00 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-07 11:46:00 -0500 |
commit | 56c7ad175ac1326e8d36a880061ca3b0e67ad5ea (patch) | |
tree | 5607c08da6b33a2820c51989894e188fbe4ea7dd /Cross.toml | |
parent | 5b7a30846faba930616b2dce3d2344090330420d (diff) |
ignore/types: add Lean
Ref: https://lean-lang.org/
PR #2678
Diffstat (limited to 'Cross.toml')
0 files changed, 0 insertions, 0 deletions