tree e991603e5af881121302f95a38007298557604e0
parent 30e0bb4a24b8afab54027573d38c1beaa7bdad1c
author Gilles Peskine <Gilles.Peskine@arm.com> 1590682760 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590682760 +0200

Finish the documentation of normalize_path

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>