src/plugins/markdown-report/md_gen.ml · e3620d0e3ac71e4b6cde556f25379962f3815754 · pub / frama-c · GitLab

Find file Blame History Permalink

[draft] keep remarks between two runs in draft mode + remark on stub section · e3620d0e
Virgile Prevosto authored Apr 25, 2018
```
still TODO: allows grouping stubs into categories of related functions
```
e3620d0e