chore: add copyright to all source file #51

Merged
8464960 merged 1 commits from chore/copyright-all-files into main 2026-01-30 11:47:53 +00:00
8464960 commented 2026-01-29 14:38:09 +00:00 (Migrated from git.science.uu.nl)

To verify: do all source files contain copyright.

To verify: do all source files contain copyright.
8464960 commented 2026-01-29 14:38:10 +00:00 (Migrated from git.science.uu.nl)

assigned to @8464960

assigned to @8464960
2584433 commented 2026-01-29 16:55:34 +00:00 (Migrated from git.science.uu.nl)

approved this merge request

approved this merge request
k.marinus commented 2026-01-30 11:47:51 +00:00 (Migrated from git.science.uu.nl)

approved this merge request

approved this merge request
k.marinus commented 2026-01-30 11:47:54 +00:00 (Migrated from git.science.uu.nl)

mentioned in commit f9d477a6c8

mentioned in commit f9d477a6c8de2445a709fa900138b684aa16a3a5
k.marinus (Migrated from git.science.uu.nl) merged commit f9d477a6c8 into main 2026-01-30 11:47:54 +00:00
2584433 (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:29:04 +00:00
k.marinus (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:29:04 +00:00
Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pepperplus/pepperplus-cb#51