diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-10-09 22:35:19 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-11-11 10:31:26 -0500 |
| commit | 50c00ab9556a274a7d3271d0b285e0d5e87c10b2 (patch) | |
| tree | f2ca46679b5d27fcdede219c579351a1a3c0598e /gnu/packages/agda.scm | |
| parent | 74ca1190e916ca78c582ddbc984799fb45dd50ef (diff) | |
gnu: Add a missing copyright.
This adjustment is made considering the contributions to the (gnu packages
polkit) module in commits cb151c68bf and 222e3319bd.
Suggested-by: Morgan Smith <Morgan.J.Smith@outlook.com>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions