tree 48ba40d2659ed817473b810a0498c500d23145b7
parent 3c23c82dacc6ea8a6ca4d1380841cb31aa686e2b
author Gilles Peskine <Gilles.Peskine@arm.com> 1590682760 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590683499 +0200

Finish the documentation of normalize_path

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