• Yannick Moy's avatar
    N919-012 Add functions for removing special parent/current subpaths · f9a8faa3
    Yannick Moy authored
    Function Sysutil.relativize_filename does not work well when its first
    argument contains special subpaths for the parent and current directories
    (".." and "."). Provide a function Sysutil.normalize_filename that removes
    such subpaths, to be called before Sysutil.relativize_filename.
    f9a8faa3
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.merlin.in Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...