Aleksey Kladov ac1b7b07e7 add some profiling calls

2019-10-24 10:37:20 +03:00

..

classify.rs

add some profiling calls

2019-10-24 10:37:20 +03:00

name_definition.rs

some fixes, add docs

2019-10-23 00:35:06 +03:00

rename.rs

fix highlighting

2019-10-22 23:47:31 +03:00

search_scope.rs

add some profiling calls

2019-10-24 10:37:20 +03:00