Skip to content
This repository has been archived by the owner on Mar 2, 2021. It is now read-only.

Allow custom directives #5

Merged
merged 2 commits into from
Jan 5, 2021
Merged

Allow custom directives #5

merged 2 commits into from
Jan 5, 2021

Conversation

pllim
Copy link
Contributor

@pllim pllim commented Jan 4, 2021

Fix #4

@pllim pllim added the enhancement New feature or request label Jan 4, 2021
@pllim pllim merged commit bd536bd into main Jan 5, 2021
@pllim pllim deleted the user-labels branch January 5, 2021 00:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ENH: Allow user-defined list of skip labels
1 participant