chiark / gitweb /
strip more ?
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 23 Feb 2019 11:45:00 +0000 (11:45 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 23 Feb 2019 11:45:00 +0000 (11:45 +0000)
commit499325409d2c1b43adf0260b9054cb8509403fcd
tree9aee986d1c7c0e5e5100305f6de782e7fa5ff3ab
parentb6a217d9e97e60e499859caadc9f0f4b971d8100
strip more ?
debian/control
debian/libnlopt-dev.install