diff options
| author |  David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-07-30 22:05:30 +0800 |
|---|---|---|
| committer | David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-08-05 09:26:38 +0800 |
| commit | f30a5fe2888e57daf56b4d1d93fc7576f3bd43ac (patch) | |
| tree | 3e25ebe64fe0eb67ccad0d398787c1e1d37d87ca /build_tools/make_deb.sh | |
| parent | 6f3d7209c2bc46cc1a589b909e1b900847e0c59d (diff) | |
.gitignore: ignore generated source docs, don't ignore Doxyfile.help
Doxyfile.help isn't generated
Diffstat (limited to 'build_tools/make_deb.sh')
0 files changed, 0 insertions, 0 deletions