diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 13:22:03 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 13:22:03 (EDT) |
| commit | 75f2d699c076ba405c64b040e03616cdf00eb96b (patch) | |
| tree | a4b9e2c693e85d49ac01237ca4a453dbf7792f5c /man | |
| parent | 3fdcbf96145de6df72aac9245c0758011a514eaf (diff) | |
/local.mk, */*/local.mk: Drop header comments
Diffstat (limited to 'man')
| -rw-r--r-- | man/local.mk | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/man/local.mk b/man/local.mk index 583fa25..3b6a0a1 100644 --- a/man/local.mk +++ b/man/local.mk @@ -1,5 +1,2 @@ -# pro-archman -# man/local.mk - man1_sources = \ %reldir%/pro-archman.1in |