[PATCH 10/26] Remove duplicated empty lines from kern/*.c

[Sebastian Huber]

From: Mateusz Guzik <mjg at FreeBSD.org>

No functional changes.
---
 cpukit/score/src/kern_tc.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index 28a936232b..3af77ed05a 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -1780,7 +1780,6 @@ SYSCTL_PROC(_kern_timecounter, OID_AUTO, hardware, CTLTYPE_STRING | CTLFLAG_RW,
     0, 0, sysctl_kern_timecounter_hardware, "A",
     "Timecounter hardware selected");
 
-
 /* Report the available timecounter hardware. */
 static int
 sysctl_kern_timecounter_choice(SYSCTL_HANDLER_ARGS)
-- 
2.31.1