diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-16 14:40:15 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-16 14:40:15 -0500 |
| commit | ba87d19e10f0b0b960ce68742bbfa55f4e752055 (patch) | |
| tree | 788e9edc9d3c9db079f3fe61ca7044cb5075bda2 /lib/basic.ml | |
| parent | 53521711a7cf4eb63190cd4e780b509ac4a1708f (diff) | |
| download | stitch-ba87d19e10f0b0b960ce68742bbfa55f4e752055.tar.gz stitch-ba87d19e10f0b0b960ce68742bbfa55f4e752055.tar.bz2 stitch-ba87d19e10f0b0b960ce68742bbfa55f4e752055.zip | |
updates to building flake
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions