-
Christian Kamm authored
Also change the filename->document map to a hash. Reviewed-by: Roberto Raggi (cherry picked from commit 49416fe8)
4051e469
Also change the filename->document map to a hash. Reviewed-by: Roberto Raggi (cherry picked from commit 49416fe8)