chiark / gitweb /
In GTK frontend, bind mouse8/mouse9 to undo/redo.
[sgt-puzzles.git] / benchmark.sh
2015-05-18 Simon TathamMove the benchmarking logic out into a script.