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