Update hermit docs

mkroening · mkroening · commit bc533d0ce3a7 · 2023-09-11T15:48:53.000+02:00
Signed-off-by: Martin Kröning &lt;martin.kroening@eonerc.rwth-aachen.de&gt;
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;

-Original file line number
+Diff line change
@@ @@ -1,7 +1,4 @@ @@
 -// libc port for HermitCore (https://hermitcore.org)
 -//
 -// Ported by Colin Fink <[email protected]>
 -//       and Stefan Lankes <[email protected]>
 +//! Hermit C types definition
 pub type c_schar = i8;
 pub type c_uchar = u8;