diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-01 04:40:02 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-01 04:40:02 +0100 |
| commit | 0ea62670eda39ebeaff5335fd8225707ec27e7a3 (patch) | |
| tree | 47bbe846f28b4806ea4a8621a761ed3634bb960a /Makefile.config.in | |
| parent | 16b03f03af2cbd2b8a682d737371c3194096d5e6 (diff) | |
move documentation on `auto-allocate-uids` to options docs
this is where it belongs and can be found together with the other
options.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions