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 /src/pro-archman.sh | |
parent | 3fdcbf96145de6df72aac9245c0758011a514eaf (diff) |
/local.mk, */*/local.mk: Drop header comments
Diffstat (limited to 'src/pro-archman.sh')
0 files changed, 0 insertions, 0 deletions