projects / pigpio.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4277ff6) | patch
Make "make uninstall" uninstall all man pages.
authorPeter Michael Green <plugwash@debian.org>
Fri, 9 Nov 2018 00:32:38 +0000 (00:32 +0000)
committerPeter Michael Green <plugwash@debian.org>
Fri, 9 Nov 2018 00:32:38 +0000 (00:32 +0000)
commit2988acaaa65784ca7633669cbd5a58d3f3ee7bd1
tree054624bd0968a3fba94634dfc40fc12843935339tree | snapshot
parent4277ff6d19c23f9f50456b324dd867bc672f6137commit | diff
Make "make uninstall" uninstall all man pages.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.