diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-21 17:12:34 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-21 18:29:04 +0100 |
| commit | 6c980c7d3137616667c1b104fafe40693a6d54a8 (patch) | |
| tree | 62eb6770817a559e32da61e45611cd06a9c4d9ed /.gitignore | |
| parent | 39db27ca357b10a63503e4d8ebbe774d08eedb53 (diff) | |
build: Package docs/ and don't package source.
No-one uses the installer then builds from source.
Closes #2819.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions