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 /debian/libgudhi-dev.docs | |
| parent | 5e96582a4b68d74f595d1b92001b8597e252257a (diff) | |
Install bibtex files.
Diffstat (limited to 'debian/libgudhi-dev.docs')
| -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 |