diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-23 14:04:23 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-23 14:04:23 -0500 |
commit | 527e025e88fc01c7ed4fc3f951484b051c264d83 (patch) | |
tree | 825a8751d30725e299ac363698a7a5f86d5ac535 /lib/arbitrary_command.ml | |
parent | eed9e36b661009e5bcf1c4f5ec3a9279bbb7cda5 (diff) | |
download | stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.tar.gz stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.tar.bz2 stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.zip |
Fix export with relative line
Diffstat (limited to 'lib/arbitrary_command.ml')
0 files changed, 0 insertions, 0 deletions