diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-12 09:56:05 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-13 12:45:31 +0100 |
| commit | ab6519a2f383b4ccb5a9c23c7e26dac581434d1a (patch) | |
| tree | b65bf16d79a0eaf8ad1107b58763bf163e53e709 /Makefile.doc | |
| parent | 45d2b97681bbb25ddd38ca77de69ff3cc84fe7fe (diff) | |
[Sphinx] Add "edit on github"
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions