Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New font: Monoid #54

Closed
ryanoasis opened this issue Feb 4, 2016 · 1 comment
Closed

New font: Monoid #54

ryanoasis opened this issue Feb 4, 2016 · 1 comment
Labels
✨ enhancement
Milestone
v0.7.0

Comments

@ryanoasis
Copy link
Owner

Target and patch Monoid
@ryanoasis ryanoasis modified the milestone: v0.7.0 Mar 12, 2016
FluxAugur pushed a commit to FluxAugur/nerd-fonts that referenced this issue May 25, 2016
@bhilburn
Merging @dritter's work to allow shortened dir segment.
20cb4a2 
This is PR ryanoasis#54.
Merge remote-tracking branch 'dritter/dritter/shorten_dir_path'
@github-actions
Copy link
Contributor

This issue has been automatically locked since there has not been any recent activity (i.e. last half year) after it was closed. It helps our maintainers focus on the active issues. If you have found a problem that seems similar, please open a new issue, complete the issue template with all the details necessary to reproduce, and mention this issue as reference.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 13, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
✨ enhancement
Projects
None yet
Milestone
v0.7.0
Development

No branches or pull requests
1 participant
@ryanoasis