diff options
author | David A. Madore <david+git@madore.org> | 2017-01-06 13:50:17 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2017-01-06 13:50:17 +0100 |
commit | 2870bd79ca92a88e774e9427c7b913f25d9ad91e (patch) | |
tree | ba0a3f54de4543d360b8c925ce491a0955cfbc4e /figs | |
parent | 5680275cc29bd25cecb65ae5c3ce94601e9a6384 (diff) | |
download | inf105-2870bd79ca92a88e774e9427c7b913f25d9ad91e.tar.gz inf105-2870bd79ca92a88e774e9427c7b913f25d9ad91e.tar.bz2 inf105-2870bd79ca92a88e774e9427c7b913f25d9ad91e.zip |
Fix thinko (thanks, Antoine!).
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions