diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:21:00 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:21:00 -0600 |
| commit | 7de595b75bb12c96d3da6382805643dbd7063680 (patch) | |
| tree | 018daf54e9e703d0376d7b9398afd5107eb674b4 /lib/xml.mli | |
| parent | ce792e552d27e3c83251f11434795095dea7a93f (diff) | |
| download | wormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.gz wormhole-7de595b75bb12c96d3da6382805643dbd7063680.tar.bz2 wormhole-7de595b75bb12c96d3da6382805643dbd7063680.zip | |
Simplify dockerfile
Diffstat (limited to 'lib/xml.mli')
0 files changed, 0 insertions, 0 deletions