diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-27 11:22:36 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-27 11:22:36 +0100 |
| commit | 452c9e6d0d24325ed59658dd01820bf15365427d (patch) | |
| tree | c32520986328757f4bdef2e94eb0abd94f75352c /figs | |
| parent | f9ba7823e456ee252f05edd79e13eb9960f4529d (diff) | |
| download | inf105-452c9e6d0d24325ed59658dd01820bf15365427d.tar.gz inf105-452c9e6d0d24325ed59658dd01820bf15365427d.tar.bz2 inf105-452c9e6d0d24325ed59658dd01820bf15365427d.zip | |
Fix typo pointed out by Mikaël.
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions