diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-10-19 14:08:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-19 14:08:56 +0200 |
| commit | 48519861877327743d6accbde9b65a095265b0b0 (patch) | |
| tree | 5fa0d3079c947eb7ec3e73664a95c8ddd6a36024 /MANUAL.txt | |
| parent | 1da40d63b13c46782046b03baa92c4f95f3b2a67 (diff) | |
| parent | 4b51ed382325ceeaaab97d1f5f099751ee025a8b (diff) | |
Merge pull request #3158 from ickc/COPY-LICENSE
Use the markdown version of COPYING from GNU
Diffstat (limited to 'MANUAL.txt')
0 files changed, 0 insertions, 0 deletions