diff options
| author | Maxime Dénès | 2018-08-16 15:45:31 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-08-16 15:45:31 +0200 |
| commit | 923eeef090d93eb903c59f83fb7c0b69204bdc02 (patch) | |
| tree | 9130ad1648a8db1433ab04da0b65c44b426ab57d /kernel | |
| parent | cf1721c368277015c80a5feb6cb0bcad3f93566e (diff) | |
| parent | 106c5b87a36df3b77442ed4784381082e4cc3924 (diff) | |
Merge PR #8108: A few Sphinx fixes in the Ltac chapter.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions