diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-06-03 17:47:31 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-06-03 17:47:31 +0100 |
| commit | 181adc6a4eb7e701a7604a8fbfa8830b99eb3e9f (patch) | |
| tree | a4b7ddcde48d7fb5f0d31e464154bc8408fb10e3 /docs/tutorial/intro.rst | |
| parent | c36635c112eee93dd987b98ca668fe488470aed0 (diff) | |
unix: Update .gitignore; now ignores coverage build.
Diffstat (limited to 'docs/tutorial/intro.rst')
0 files changed, 0 insertions, 0 deletions