diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:49:00 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:49:00 +0200 |
| commit | 02c2679f0e94013b5cae6305e0b15fce8d971eb8 (patch) | |
| tree | e0dceb59f718eb2acb380b748e25a9dc9e16f045 /doc/manual/src/language | |
| parent | acc50e184578b7a5d4f9404e84241373baffc9fc (diff) | |
dedent common options listing; one sentence per line
this is a pure reformatting, contents were not changed
one sentence per line makes reviewing diffs and making suggestions much
more convenient. the indentation was an artifat of the DocBook
migration.
Diffstat (limited to 'doc/manual/src/language')
0 files changed, 0 insertions, 0 deletions