Labels Milestones

media-fonts/nerd-fonts: Added new package #3

Merged

y0rune merged 1 commits from font-nerd into master 2 years ago

Conversation 0 Commits 1 Files Changed 2

y0rune commented 2 years ago

Owner

Signed-off-by: Marcin Woźniak y0rune@aol.com

Signed-off-by: Marcin Woźniak <y0rune@aol.com>

y0rune added 1 commit 2 years ago

3ca0122c1c

media-fonts/nerd-fonts: Added new package

Signed-off-by: Marcin Woźniak <y0rune@aol.com>

y0rune referenced this issue from a commit 2 years ago

Merge pull request 'media-fonts/nerd-fonts: Added new package' (#3) from font-nerd into master

y0rune merged commit f6ecc572c5 into master 2 years ago

y0rune deleted branch 2 years ago

The pull request has been merged as f6ecc572c5.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.