diff options
| author | joe <joe@jerkface.net> | 2018-06-21 01:26:58 -0400 |
|---|---|---|
| committer | joe <joe@jerkface.net> | 2018-06-21 02:56:33 -0400 |
| commit | 8cdc2de72ebe8945ce4b9f7fe8890970c34135a1 (patch) | |
| tree | 99d8cbbaa46f089716f101058d0442b28f762bd8 /src | |
| parent | 458c7a99e07300cde99826f825c3d0d6a7eab298 (diff) | |
Avoid awkward "flip (maybe ...)" pattern.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions