diff options
| author | Vicent Marti <vicent@github.com> | 2015-01-06 20:30:23 +0100 |
|---|---|---|
| committer | Vicent Marti <vicent@github.com> | 2015-01-06 20:30:23 +0100 |
| commit | 8cdd63ef695aa87e598692076a1351de4862f4d5 (patch) | |
| tree | 35f6d58e8a8064db5a7182e09821667e6bd4bfd1 /man/make_man_page.py | |
| parent | b1bbd90481512f1a43c17893598e4d96a817c536 (diff) | |
| parent | f11415d36a2d0b288db811a66b0f9f077c6ca123 (diff) | |
Merge pull request #269 from jgm/license
Updated LICENSE, renamed to COPYING.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions