Skip to content
This repository has been archived by the owner on Jul 9, 2024. It is now read-only.

Use data-export attribute for exporting terms #115

Merged
merged 1 commit into from
Apr 27, 2022

Conversation

zcorpan
Copy link
Member

@zcorpan zcorpan commented Apr 27, 2022

@patrickhlauke patrickhlauke merged commit d790a23 into w3c:gh-pages Apr 27, 2022
@patrickhlauke
Copy link
Member

thanks @zcorpan

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants