Added categorisation of terms listed on extension home page. #1098

Merged
merged 1 commit into from Apr 12, 2016

Projects

None yet

2 participants

@RichardWallis
Contributor

A term gets put in a category by adding schema:category to its definition.

@RichardWallis RichardWallis Added categorisation of terms listed on extension home page.
Term gets put in a category by adding schema:category to its definition.
e5cc085
@danbri danbri merged commit 90d789f into sdo-deimos Apr 12, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment