diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-11 04:31:04 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-11 04:31:04 +0200 |
| commit | 9f75c9df0474acc984d937f2b817b46f280724fd (patch) | |
| tree | a69baf8bf76cb384a751c3f3cc6f88ede8c865ae /validation/preprocessor | |
| parent | ed8ab3d9a92e2a86e05705814a10572dec49ca89 (diff) | |
| parent | 12dfe2d5abfa54572f24c8cd901fb4ee3071a00b (diff) | |
| download | sparse-dev-9f75c9df0474acc984d937f2b817b46f280724fd.tar.gz | |
Merge branch 'doc-sphinx-ir'
add a small directive for the IR instructions, allowing to:
* have those instructions in the index
* have a nicer presentation of the generated doc thanks
to not having to use level-4 headings anymore
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions