Initial version of markdown generator
Showing
- src/plugins/markdown-report/Makefile 15 additions, 0 deletionssrc/plugins/markdown-report/Makefile
- src/plugins/markdown-report/README.md 4 additions, 0 deletionssrc/plugins/markdown-report/README.md
- src/plugins/markdown-report/Report_markdown.mli 75 additions, 0 deletionssrc/plugins/markdown-report/Report_markdown.mli
- src/plugins/markdown-report/markdown.ml 200 additions, 0 deletionssrc/plugins/markdown-report/markdown.ml
- src/plugins/markdown-report/markdown.mli 58 additions, 0 deletionssrc/plugins/markdown-report/markdown.mli
- src/plugins/markdown-report/md_gen.ml 380 additions, 0 deletionssrc/plugins/markdown-report/md_gen.ml
- src/plugins/markdown-report/md_gen.mli 13 additions, 0 deletionssrc/plugins/markdown-report/md_gen.mli
Loading
Please register or sign in to comment