projects / pigpio.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e229d6) | patch
Avoid installing shared libraries to man-page directories.
authorPeter Michael Green <plugwash@debian.org>
Thu, 10 Jan 2019 13:50:19 +0000 (13:50 +0000)
committerPeter Michael Green <plugwash@debian.org>
Thu, 10 Jan 2019 13:52:47 +0000 (13:52 +0000)
commit9a396274520148c3c7b6dc916d751035f690b308
tree3a7098c31a312a047670b26cd0b89015bc541c7btree | snapshot
parent2e229d667fde8a2a881d5aa8482b2bb936b09f26commit | diff
Avoid installing shared libraries to man-page directories.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.