diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-02-07 17:36:10 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-02-07 17:36:10 +0100 |
commit | 5638527781e1d8cd916cd28f9d375eef7b5d820b (patch) | |
tree | 1db4b788c3ee6cbd932df872166aee8e3f320d5b /debian/copyright | |
parent | 55c7181126aa7defce38c9b82872d14223d4c1dd (diff) |
Delete upstream debian directory, a precompiled binary without source,
and some stray backup files.
Diffstat (limited to 'debian/copyright')
-rw-r--r-- | debian/copyright | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/debian/copyright b/debian/copyright deleted file mode 100644 index 2e1f88cd..00000000 --- a/debian/copyright +++ /dev/null @@ -1,28 +0,0 @@ -Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ -Upstream-Name: gudhi -Upstream-Contact: gudhi-users@lists.gforge.inria.fr -Source: <url://http://gudhi.gforge.inria.fr/> - -Files: * -Copyright: 2014-2016 Inria Sophia Antipolis-Méditerranée - 2014-2016 Inria Saclay - Ile de France - 2014-2016 Université Nice Sophia Antipolis -License: GPL-3.0+ - -License: GPL-3.0+ - This program is free software: you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation, either version 3 of the License, or - (at your option) any later version. - . - This package is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - . - You should have received a copy of the GNU General Public License - along with this program. If not, see <https://www.gnu.org/licenses/>. - . - On Debian systems, the complete text of the GNU General - Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". - |