diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-02-12 19:48:56 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-02-12 19:48:56 +0100 |
commit | db762d56f6214f2487939446b9c4009581b53ee6 (patch) | |
tree | 0bf3bf7073072497eb799c60e639edaea437a017 | |
parent | 5e96582a4b68d74f595d1b92001b8597e252257a (diff) |
Install bibtex files.
-rw-r--r-- | debian/libgudhi-dev.docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/libgudhi-dev.docs b/debian/libgudhi-dev.docs new file mode 100644 index 00000000..e9849ee8 --- /dev/null +++ b/debian/libgudhi-dev.docs @@ -0,0 +1 @@ +biblio
\ No newline at end of file |