diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2022-02-11 12:28:33 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2022-02-21 21:14:04 +0100 |
| commit | 6071a6c0fba2d747742cadcbb3ba26ed756ed73b (patch) | |
| tree | 9c98b383867203b756ff46ab5df2f47f1ae69a44 /lib/mpi/mpiutil.c | |
| parent | 246c03dd899164d0186b6d685d6387f228c28d93 (diff) | |
random: remove useless header comment
This really adds nothing at all useful.
Cc: Theodore Ts'o <tytso@mit.edu>
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 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions