Łukasz Wieczorek 9cea5e0732

Remove redundant newlines, add .idea to gitignore ...

* Add .idea/ to git ignored directories.

* Remove redundant newline.

* Remove redundant newline.

* Remove redundant newlines.

* Remove redundant newline.

* Remove redundant newline.

* Add missing newline at end of file.

* Remove redundant newline.

* Remove redundant newlines.

2024-12-29 15:31:03 +01:00

..

benchmarks

Remove redundant newlines, add .idea to gitignore

2024-12-29 15:31:03 +01:00

driver.sh

benchmarks: Do hyperfine first

2022-09-25 13:27:01 +02:00