diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-20 13:44:04 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-20 13:44:43 +0200 |
| commit | 71317162c50df91d421eacdf87d50b4ba6d37635 (patch) | |
| tree | 1a64ee2bbdbfd3a153d2de16d1e779982a35665a /src/libmain | |
| parent | 6ae35534b7b6e10a26a0f2b2a0e37d7f7cfe47dd (diff) | |
use more self-descriptive section headings
Diffstat (limited to 'src/libmain')
0 files changed, 0 insertions, 0 deletions