benchmarks/mdp/zeroconf/index.json: Fixed incorrect capitalization in result file names

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison

http://qcomp.org/

6 stars 7 forks source link

benchmarks/mdp/zeroconf/index.json: Fixed incorrect capitalization in result file names #101

Closed tquatmann closed 2 years ago

ahartmanns commented 2 years ago

Happy to accept this once the commit message is normalised:

"benchmarks/mdp/zeroconf/index.json: Fixed incorrect capitalization of result files." --> "benchmarks/mdp/zeroconf: Fixed incorrect capitalization of result file names."

tquatmann commented 2 years ago

Done! Thanks.