diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-09 21:42:43 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-09 21:42:43 +0200 |
| commit | 40ed7e838ad29ec97a110db15aaab69b350756b0 (patch) | |
| tree | 50a5e778bdb032f8d268f8ccbb258d9cdf89f773 /executor/executor_windows.h | |
| parent | 59da9e439317c83d5374d06832060fbd66efbbbc (diff) | |
sys/linux: use fmt in filesystem options
We currently generate poor formatted intergers,
generate proper integers using the new fmt type.
Diffstat (limited to 'executor/executor_windows.h')
0 files changed, 0 insertions, 0 deletions