diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:34:16 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:34:16 -0600 |
| commit | 5a51a70a6ffb40b568be50c2245d8f6178b4c477 (patch) | |
| tree | c71b4f7a95bf293952e069adae2042e6cddf4d74 /lib/xml.mli | |
| parent | 37b4064e0e8838ad7549a7dacf4d37f104de312f (diff) | |
| download | wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.gz wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.bz2 wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.zip | |
Add support for manual deploy
Diffstat (limited to 'lib/xml.mli')
0 files changed, 0 insertions, 0 deletions