pepperplus/pepperplus-ui
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

chore: updated css comments #51

Merged
j.gerla merged 1 commits from chore/editing-css-strings into dev 2026-01-28 11:19:17 +00:00
Conversation 3 Commits 1 Files Changed 21 +55 -24
j.gerla commented 2026-01-28 11:09:22 +00:00 (Migrated from git.science.uu.nl)
Copy Link

updated css copyright comments and added them to new files

updated css copyright comments and added them to new files
j.gerla commented 2026-01-28 11:12:08 +00:00 (Migrated from git.science.uu.nl)
Copy Link

assigned to @j.gerla

assigned to @j.gerla
j.gerla commented 2026-01-28 11:12:14 +00:00 (Migrated from git.science.uu.nl)
Copy Link

restored source branch chore/editing-css-strings

restored source branch `chore/editing-css-strings`
j.gerla commented 2026-01-28 11:19:17 +00:00 (Migrated from git.science.uu.nl)
Copy Link

mentioned in commit c84088dd9d

mentioned in commit c84088dd9d6b660d3858e647f6703f6b7f2b3a28
j.gerla (Migrated from git.science.uu.nl) merged commit c84088dd9d into dev 2026-01-28 11:19:17 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
kasper twirre pepperplus
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pepperplus/pepperplus-ui#51
Delete Branch "chore/editing-css-strings"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?