📄 make
字号:
The Make Utility The Make UtilityMake is an essential tool for managing large projects. It saves timeby only compiling those modules that have been changed since the lastbuild. To learn more about make I recommend either of these books. ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -