diff options
| author | Blaž Hrastnik | 2022-09-04 08:27:15 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-09-04 08:27:15 +0000 |
| commit | cc4b71274a9fbffe4081243b19f2234ed6492fb3 (patch) | |
| tree | 528be972087bc32454a58cf18b83bcee47262eee /.gitignore | |
| parent | f0d1caafcf0f2941110084a29cf4ce9d83071433 (diff) | |
minor: Simplify another document_mut statement
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions