diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-02 13:20:53 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-02 13:20:53 -0600 |
| commit | 8ca3acccf6997bde3afa1d1074bd753f908a77c4 (patch) | |
| tree | 1e29724bed0e6ec4f7e7e398593e1a32eb0476af /lib/xml.mli | |
| parent | e934fdb7710b152152019785dc93696541cd8078 (diff) | |
| download | wormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.tar.gz wormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.tar.bz2 wormhole-8ca3acccf6997bde3afa1d1074bd753f908a77c4.zip | |
Add runtime deps
Diffstat (limited to 'lib/xml.mli')
0 files changed, 0 insertions, 0 deletions