chiark / gitweb /
~ianmdlvl / nlopt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 04aa7f4)
strip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 23 Feb 2019 11:48:16 +0000 (11:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 23 Feb 2019 11:48:16 +0000 (11:48 +0000)
debian/libnlopt-dev.links patch | blob | history

diff --git a/debian/libnlopt-dev.links b/debian/libnlopt-dev.links
index e368ff75d4bc5f3612be1e0b2aeb22fba16909a6..2f2e6864cd39c721b3ed2cb8e9a0bfca4d212073 100644 (file)
--- a/debian/libnlopt-dev.links
+++ b/debian/libnlopt-dev.links
@@ -1 +1 @@
-usr/share/doc/libnlopt0 usr/share/doc/libnlopt-dev
+#usr/share/doc/libnlopt0 usr/share/doc/libnlopt-dev
Unnamed repository; edit this file 'description' to name the repository.