Tooling to tags - Githubissues

forsyde / forsyde.github.io

ForSyDe main web page

https://forsyde.github.io/

1 stars 1 forks source link

Closed Rojods closed 3 years ago

Rojods commented 3 years ago

Changed the format in the tools page for a tag-based one, which is easier to list than hierarchical ones.

Rojods commented 3 years ago

I closed since I that my last push would not be included.