-
Notifications
You must be signed in to change notification settings - Fork 8
Closed
Labels
enhancementNew feature or requestNew feature or request
Milestone
Description
Is your feature request related to a problem? Please describe.
This repository is too big. I want to shrink it.
Describe the solution you'd like
Move files under src/extlib/
to another repository.
Describe alternatives you've considered
No idea.
Additional context
The purpose is to shrink this repository, so I think this should be done for all branches.
And this request is related to #180.
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request