diff options
| author | 2022-02-11 13:41:41 +0100 | |
|---|---|---|
| committer | 2022-02-21 21:14:04 +0100 | |
| commit | 87e7d5abad0cbc9312dea7f889a57d294c1a5fcc (patch) | |
| tree | a11b0f6947bceda5b37ce7fec03f368ce702eacc /samples/git:/ssh:/git@git.zx2c4.com | |
| parent | random: remove useless header comment (diff) | |
random: remove whitespace and reorder includes
This is purely cosmetic. Future work involves figuring out which of
these headers we need and which we don't.
Reviewed-by: Dominik Brodowski <linux@dominikbrodowski.net>
Reviewed-by: Eric Biggers <ebiggers@google.com>
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'samples/git:/ssh:/git@git.zx2c4.com')
0 files changed, 0 insertions, 0 deletions
