| commit | 7d705a3dfcd09a31c67c440ca2120d3994357e57 | [log] [tgz] |
|---|---|---|
| author | Nico Weber <nicolasweber@gmx.de> | Tue Dec 06 17:20:30 2016 -0500 |
| committer | GitHub <noreply@github.com> | Tue Dec 06 17:20:30 2016 -0500 |
| tree | 00cf7b98416d29dd926c448c7c171158d0118753 | |
| parent | 3082aa69b7be2a2a0607441a7a2615d78aa983d7 [diff] | |
| parent | 78f893bdbb1e4bf3e3eac41a59d39854b8045150 [diff] |
Merge pull request #1213 from nico/copying replace copyright placeholder, fixes #1212