package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
patdiff-v0.15.0.tar.gz
sha256=089e88efbbda5c7f1249d0b427336fa56679c52d7bc94b76a2bc7df8ade52d13
doc/patdiff.kernel/Patdiff_kernel/File_name/index.html
Module Patdiff_kernel.File_name
Source
Used to determine which name to use for a file, depending on the operation.
The name used to access the file system. May differ from the name used for display.
The name used for display. Also used for file extension heuristics.
If t
has an alt_name
, then that is used. Otherwise, the real name is used.
Equivalent to display_name
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>