// by Jean-Paul Mari\r
//\r
// JPM = Jean-Paul Mari <djipi.mari@gmail.com>\r
+// RG = Richard Goedeken\r
//\r
// WHO WHEN WHAT\r
// --- ---------- ------------------------------------------------------------\r
// JPM Oct./2018 Cosmetic changes, added source file search paths, and ELF function name\r
// JPM Aug./2019 Added new functions mainly for source text lines\r
// JPM Sept./2019 Support the unsigned/signed short type\r
+// RG Jan./2021 Linux build fixes\r
//\r
\r
// To Do\r