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