diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:53:36 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:53:36 +0200 |
commit | 70ad5fc411b0e0a3d590ad281fc97d488994062b (patch) | |
tree | b0ddd84d7ee935936787eee2b75f78f2e21c41f0 /README | |
parent | b50046e487ab42cdef19b02128a9f498d6a36482 (diff) | |
parent | 5ccee32ec2ba38743c6b96867db3e1b5151e45e4 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'README')
-rw-r--r-- | README | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/README b/README deleted file mode 100644 index 2bbe5d14..00000000 --- a/README +++ /dev/null @@ -1,11 +0,0 @@ -The Gudhi library is release under the GNU GENERAL PUBLIC LICENSE Version 3. A -copy of the licence may be found in the file COPYING. - - -To build the library, run in a Terminal: - -cd /path-to-gudhi/ -mkdir build -cd build/ -cmake .. -make |