diff options
author | David A. Madore <david+git@madore.org> | 2019-01-23 13:45:58 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2019-01-23 13:45:58 +0100 |
commit | dcb28eb0a53441d90313d8c0c5edc9495031ed5b (patch) | |
tree | a1bd6753be7d74da7acba033c435563bbb26b3c1 /figs | |
parent | 930ce124214fb3003c63dee440add8d4d675ea65 (diff) | |
download | inf105-dcb28eb0a53441d90313d8c0c5edc9495031ed5b.tar.gz inf105-dcb28eb0a53441d90313d8c0c5edc9495031ed5b.tar.bz2 inf105-dcb28eb0a53441d90313d8c0c5edc9495031ed5b.zip |
Typo (thanks, Antoine).
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions