diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-01-06 17:57:44 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-01-06 17:57:55 +0100 |
| commit | bf16900f43c1291136673e7614587fe51eebc88f (patch) | |
| tree | edc8a80c3c2145aa6a68c9cad63c6f42ef0d6d47 /.gitignore | |
| parent | 2b00f74f104586c8d8b205161320e850efa91268 (diff) | |
Fix some documentation typos.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions