Skip to content
GitLab
Explore
Sign in
R3
outreach
papers
cobrexa
benchmarks
Repository
benchmarks
gen.sh
Find file
Blame
History
Permalink
rename the executed scripts properly
· 0d6d122c
Miroslav Kratochvil
authored
May 20, 2021
0d6d122c