summaryrefslogtreecommitdiff
path: root/debian/python3-gudhi.install
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2019-10-22 15:49:11 +0200
committerGard Spreemann <gspr@nonempty.org>2019-10-22 15:49:11 +0200
commit6f328ef6de6a703a3fdf30b2d8a4da189dc00c69 (patch)
treecd20a2d5841e29b943db6613a70d4fdabbbbcc69 /debian/python3-gudhi.install
parent073b532612e4cc26513d265eddbd3eec11f3df98 (diff)
Rename GudhUI binary.
Diffstat (limited to 'debian/python3-gudhi.install')
0 files changed, 0 insertions, 0 deletions