summaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-02 22:16:11 +0100
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-02 22:16:11 +0100
commit919727dcd45af372dccb0ad3dec752a01e1f1650 (patch)
tree2ecfd4c4f527ffbac1feb076abbbf6646999083a /README.org
parentf4b1320b48ea3c84c111300106f381328f13d6d5 (diff)
nongnu: Add missing copyright headers for Isaac and me.
* nongnu/packages/coq.scm: Add copyright for Isaac Young. * nongnu/packages/linux.scm: Add copyright year for me.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions