diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-03-11 22:56:27 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-11 22:56:27 +0100 |
| commit | 0a8655e6dc956a3f1f116112d09ebcdd472e28a1 (patch) | |
| tree | c13723d570eba32cbab791440a2163aea3666c1b /gnu/packages/lean.scm | |
| parent | cb18f2bf3191dccc94af43371218acbc65da7b85 (diff) | |
| download | guix-0a8655e6dc956a3f1f116112d09ebcdd472e28a1.tar.gz | |
gnu: Remove duplicate copyright line.
* gnu/packages/python-xyz.scm: Remove duplicate copyright.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions