diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:56:27 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:56:27 -0600 |
| commit | 42ba69a713eafa2a5640d3313f6057f1993e7d57 (patch) | |
| tree | 107b146d289446d40d1bcef5cb231854fa823a97 /dune-project | |
| parent | 76fb556b6be77ea4839313421a2ef3219d576d78 (diff) | |
| download | wormhole-42ba69a713eafa2a5640d3313f6057f1993e7d57.tar.gz wormhole-42ba69a713eafa2a5640d3313f6057f1993e7d57.tar.bz2 wormhole-42ba69a713eafa2a5640d3313f6057f1993e7d57.zip | |
Change to allow list
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions