Now there is a more efficient plugin called LeaderF to replace ctrlp.
2022-02-09
老师讲得很好,师傅领进门,修行靠个人,不断学习,30来年,依然如此活跃的编辑器,值得使用。时间是炼金石。感谢老师。
2022-01-05