diff options
| author | Dave Smith <dizzyd@dizzyd.com> | 2012-06-06 11:56:49 -0600 |
|---|---|---|
| committer | Dave Smith <dizzyd@dizzyd.com> | 2012-06-06 11:56:49 -0600 |
| commit | 2f0e545ce0c3c6021953dc2d1a0dc2646ee119ee (patch) | |
| tree | 59c6d21c19e3e54ec9c2e11d174eab0e7bb8bb7e /.gitignore | |
| parent | 81112cbd076bd9f552b699e81075eb6cc75c92fc (diff) | |
Prefer edoc-info as determining file; overview-summary.html may not
always be generated
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions