]> Nishi Git Mirror - gwion.git/commit
use '>' in Benchmark page
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 19:41:15 +0000 (21:41 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 19:41:15 +0000 (21:41 +0200)
commitb3918d568c6df2c2094871179848ec57afe7e30e
treea4fed4f51d0cf2dae4a76eab00ffc5faf2373344
parent2e49fb798a2b52fdeb196daf0ca19447d5fc1c29
use '>' in Benchmark page
docs/Benchmarks.mdr
docs/list