bors[bot] 42e00032c6

Merge #7220 ...

7220: same level folder rename for will_rename_files r=kjeremy a=ShuiRuTian

use tricky way to support folder rename.

Another step after #7009 and for #4471

Co-authored-by: ShuiRuTian <158983297@qq.com>
Co-authored-by: Song Gao <158983297@qq.com>

2021-01-13 17:40:45 +00:00

..

main.rs

Merge #7220

2021-01-13 17:40:45 +00:00

support.rs

More maintainable config

2021-01-06 15:39:28 +03:00

testdir.rs

Remove more unreachable pubs

2020-11-02 16:58:33 +01:00