redex data

This repository holds the data used as a starting point to generate the content of redex. Please see the redex publishing guide for information on how to add a package.