package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
patdiff-v0.16.0.tar.gz
sha256=60661ffca35e4726c40c42901774976f2634ac6a4f993a5a13f2fa458571cf16
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)"
>