diff options
| -rw-r--r-- | README.org | 2 | ||||
| m--------- | docs | 0 |
2 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +#+title: + #+html: <a href="https://vericert.ymhg.org"><img src="https://vericert.ymhg.org/vericert-main.svg" width="100%" height="144" /></a> #+html: <p align=center><a href="https://github.com/ymherklotz/vericert/actions"><img src="https://github.com/ymherklotz/vericert/workflows/CI/badge.svg" /></a> <a href="https://vericert.ymhg.org/"><img src="https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg" /></a></p> diff --git a/docs b/docs -Subproject 5508c21e064276aa4d5146b3af5b6f6e9a4c236 +Subproject 42e19f2b20c907505a28486a8071147ed6c610f |