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: 01b42af4df28a9118a49b96439303334ee5d529a (
plain
)
1
build/userversion/html/* usr/share/doc/libgudhi-dev/html/