diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-08-24 21:59:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-24 21:59:17 +0200 |
commit | 5c0a3df6cf82aa7bb425a7c109d895dbde66c323 (patch) | |
tree | 7a6547e6b8a70d7990f0f5d4dabbb189e196106d /man/man1 | |
parent | a42aa04b489111fb63f57f55f8b0a260236277aa (diff) | |
parent | 132d9cdacc87f9e85fff1144549e25e9b89eae34 (diff) |
Merge pull request #151 from petere/update-copying
Update COPYING
Diffstat (limited to 'man/man1')
0 files changed, 0 insertions, 0 deletions