diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-02-23 23:03:41 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-02-25 07:28:45 +0100 |
commit | fb6fa7ceced6e74ae02ed24b92a488c6e65d3404 (patch) | |
tree | e868b6cb14074b81618d148d9f58077fb308924d /doc/shields.json | |
parent | 5040ad31d9e7ac3f7d459e388b734a917ce412f2 (diff) | |
download | ghdl-fb6fa7ceced6e74ae02ed24b92a488c6e65d3404.tar.gz ghdl-fb6fa7ceced6e74ae02ed24b92a488c6e65d3404.tar.bz2 ghdl-fb6fa7ceced6e74ae02ed24b92a488c6e65d3404.zip |
doc: add custom directive 'exec', generate releases shields and tables
with json data retrieved from github api"
Diffstat (limited to 'doc/shields.json')
0 files changed, 0 insertions, 0 deletions