diff options
| author | Joey Shi | 2022-10-31 06:32:37 +0000 |
|---|---|---|
| committer | Joey Shi | 2022-10-31 06:32:37 +0000 |
| commit | 402f12cf041f54babd73a8a85e5d543fe6102c90 (patch) | |
| tree | 8a090a3de74dabe83df2aea48e54ec8cdb4f6fcb /entries/jlouis/fib.opam | |
| parent | 307dcac31ed317b9f8439bcb766fa599e6c4efa7 (diff) | |
typo lol
Diffstat (limited to 'entries/jlouis/fib.opam')
0 files changed, 0 insertions, 0 deletions