package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
v0.16.1.tar.gz
md5=ed1fd8166e2e99774432c1e28515f37e
sha512=7833f95ce42eeb17ecbef514eab13a37a0ab125b3c6e7e8af09c5b0efa3be6b971c6c4a40f3d809f1c254c8bc720ddaa46b54ff0514ddb9db0f5be03d99f5fd0
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)"
>