]> Nishi Git Mirror - gwion.git/commit
fix build (clean scripts)
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 21 Sep 2020 22:19:16 +0000 (00:19 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 21 Sep 2020 22:19:16 +0000 (00:19 +0200)
commita0a839b027958d12e30a76ca560fee5bf017c79b
treee73afbe392e1fd0763a53c4a6148075b9829e07c
parente1bd88334342b0e0e1cf81a55e07369f2925f243
fix build (clean scripts)
scripts/bench.plot [deleted file]
scripts/benchmark.sh [deleted file]
scripts/ensure.sh