Skip to content

Rename 'annotation' to 'jellydoc-annotations'#59

Merged
basil merged 1 commit intomasterfrom rename-annotations-dirJul 10, 2023

Commits

Commits on Jul 10, 2023