diff -r 42f2619adfd7 -r 610d17d32b9e src/Tools/8bit/doc/keyindex.dvi
Binary file src/Tools/8bit/doc/keyindex.dvi has changed