diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2022-12-09 15:40:14 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2022-12-09 15:40:14 +0800 |
| commit | 4640b37d9680598de7979b830c0c9dc05615d9cd (patch) | |
| tree | 5c9beb6677cbf210d544d75300535dc81e1221e0 /chapter08/gzip.xml | |
| parent | 30f5283fab13237eb27c9736dc45d697f1aa8daf (diff) | |
ninja: style "ninja" (for the program) with <command>
Or the mix up of "ninja" and "Ninja" will seem puzzling...
Diffstat (limited to 'chapter08/gzip.xml')
0 files changed, 0 insertions, 0 deletions