diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 19:58:03 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 21:23:57 +0100 |
commit | 96d5e83a705c463c62f3032bdf41949630878963 (patch) | |
tree | 1a9ce21d23df2acdf768f853df256d54f860d27b /debian/changelog | |
parent | 9f73064e09cc22326c876c2e493b9994b027db27 (diff) |
Makefile: Add target 'install-nodoc'.
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions