diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:52:07 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-03 12:52:07 -0600 |
| commit | 867761a2e764c6c6327434585498ed62c54f6eac (patch) | |
| tree | 38ab8ffd581a2cb3acfcdf25fcd593f211a094f0 /lib/xml.mli | |
| parent | f192457e19486cdfbc8ac62684d33ac4b6c82bc1 (diff) | |
| download | wormhole-867761a2e764c6c6327434585498ed62c54f6eac.tar.gz wormhole-867761a2e764c6c6327434585498ed62c54f6eac.tar.bz2 wormhole-867761a2e764c6c6327434585498ed62c54f6eac.zip | |
Formatting, support whitelist
Diffstat (limited to 'lib/xml.mli')
0 files changed, 0 insertions, 0 deletions