diff options
| author | David A. Madore <david+git@madore.org> | 2017-01-16 15:32:50 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-01-16 15:32:50 +0100 |
| commit | b58c7150c57b62c3fed7b705ff38b26487a5b3c1 (patch) | |
| tree | 857312ded848c6a41f8e1f2109e8c2d074a18079 /figs | |
| parent | 2883d38b37cbec4937891186dd5468666c6ad00f (diff) | |
| download | inf105-b58c7150c57b62c3fed7b705ff38b26487a5b3c1.tar.gz inf105-b58c7150c57b62c3fed7b705ff38b26487a5b3c1.tar.bz2 inf105-b58c7150c57b62c3fed7b705ff38b26487a5b3c1.zip | |
Various small mistakes (thanks, Olivier).
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions