summaryrefslogtreecommitdiffstats
path: root/figs
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-02-05 12:11:50 +0100
committerDavid A. Madore <david+git@madore.org>2017-02-05 12:38:44 +0100
commit6ce6940ea7e1c9d570f325f382f5deb6d47d2c51 (patch)
treea1a8339dd23818b5f8ccde89e87a6acee7cf382f /figs
parente13d529b4268ed5e8f2b9776662aae507b440205 (diff)
downloadinf105-6ce6940ea7e1c9d570f325f382f5deb6d47d2c51.tar.gz
inf105-6ce6940ea7e1c9d570f325f382f5deb6d47d2c51.tar.bz2
inf105-6ce6940ea7e1c9d570f325f382f5deb6d47d2c51.zip
Fix mistake in elimination of states (thanks, Mathis Chagneux).
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions