index
:
debian-gudhi
debian/sid
dfsg/latest
gspr/buster
upstream-2/latest
upstream/latest
Debian package for GUDHI.
gspr@nonempty.org
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
libgudhi-doc.install
blob: bac4832082368ebaca5910b8f607f9ce12b636f9 (
plain
)
1
build/userversion/build/html/* usr/share/doc/libgudhi-dev/html/
