diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-05-08 04:00:18 +0200 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-05-07 19:00:18 -0700 |
| commit | 2dd12f50b67feb77ae310a3af942ce3b058318e3 (patch) | |
| tree | 297ab3406ae387ff046c1a27ffeb8acef351d681 /doc/.gitignore | |
| parent | 143094b0badbeb217e33e7da4ad4ba669c4e7bd5 (diff) | |
Add docs for some DocH constructors (#814)
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions