diff options
| author | Marc Coquand <marc@mccd.space> | 2023-12-25 19:12:54 -0600 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2023-12-26 09:57:19 -0600 |
| commit | edc71c5d9f4e4f6f889436ddb6134292b80a9d14 (patch) | |
| tree | 10a43596b064a05db8a5c5b50bc2213b5bdd8947 /fixgen.opam | |
| parent | ca32dbe0f45ca52a120c222f98bee33b43952050 (diff) | |
| download | fixgen-edc71c5d9f4e4f6f889436ddb6134292b80a9d14.tar.gz fixgen-edc71c5d9f4e4f6f889436ddb6134292b80a9d14.tar.bz2 fixgen-edc71c5d9f4e4f6f889436ddb6134292b80a9d14.zip | |
Update envrc
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions