diff options
| author | Son HO | 2024-04-19 08:22:19 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-19 08:22:19 +0200 |
| commit | caedb227fcf018a5e9e6f5627144a9bf0b5484c3 (patch) | |
| tree | 466e3049b92b586dd887b6138f7272ca66372fb2 /Makefile | |
| parent | 8cd6090128397dd9dccf5bb7c27dd85f318aa3c5 (diff) | |
| parent | 00fb0b9dee66a5ba012170c3313454934c976d5e (diff) | |
Merge pull request #146 from RaitoBezarius/main
fix(backends/lean): add a significant amount of keywords
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions