Update hermit docs

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
rust-lang · Sep 11, 2023 · bc533d0 · bc533d0
1 parent 27f5eba
commit bc533d0
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/hermit/mod.rs b/src/hermit/mod.rs
@@ -1,7 +1,4 @@
-// libc port for HermitCore (https://hermitcore.org)
-//
-// Ported by Colin Fink <colin.finck@rwth-aachen.de>
-//       and Stefan Lankes <slankes@eonerc.rwth-aachen.de>
+//! Hermit C types definition
 
 pub type c_schar = i8;
 pub type c_uchar = u8;