diff options
| author | Mike Wey | 2011-11-20 16:50:04 +0100 |
|---|---|---|
| committer | Mike Wey | 2011-11-20 16:50:04 +0100 |
| commit | 8be76a739861b529899ffe74a33518cbbd469290 (patch) | |
| tree | f1aa1a267ace127842f12b576edab6df6de2d029 /.gitignore | |
| parent | efe1545a6b7dc952489308c1e395f71cbb5bc8f4 (diff) | |
Fix building the documentation with gdc.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions