diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:32:55 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:32:55 -0600 |
| commit | 0ea8395070b1437d062fc7a9772dab2f1bc0a8a1 (patch) | |
| tree | b0b485d07d58af0a3cf52f51e91d952aa132ac5d /dune-project | |
| parent | 83e0373340d6e1348f97e9ca1c128d2eed4fbfd0 (diff) | |
| download | wormhole-0ea8395070b1437d062fc7a9772dab2f1bc0a8a1.tar.gz wormhole-0ea8395070b1437d062fc7a9772dab2f1bc0a8a1.tar.bz2 wormhole-0ea8395070b1437d062fc7a9772dab2f1bc0a8a1.zip | |
Add assets dependency
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions