-
Karel Koci authored
I forgot to update lua_coverage2info script when I renamed modules. Also one file name was renamed to its historical variant.
I forgot to update lua_coverage2info script when I renamed modules. Also one file name was renamed to its historical variant.