diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-22 15:04:38 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-22 15:04:38 +1000 |
| commit | 60e9b09cfd341f9ae2f49d2e2cfe1a63e98f7fcd (patch) | |
| tree | e0de76ef4bfa21e45c3ab442960d7d9e49ee96dd /utilities/nontrivial utility | |
| parent | 6937c8adcc33945f91ddf5671e6e4521e223c62c (diff) | |
minor doc fix
Diffstat (limited to 'utilities/nontrivial utility')
0 files changed, 0 insertions, 0 deletions