// settings.h: Header file\r
//\r
// JPM = Jean-Paul Mari <djipi.mari@gmail.com>\r
+// RG = Richard Goedeken\r
//\r
// Who When What\r
// --- ---------- ------------------------------------------------------------\r
// JPM Sept./2018 Added the new Models and BIOS handler, and a screenshot settings\r
// JPM 10/10/2018 Added search paths in settings\r
// JPM 04/06/2019 Added ELF sections check\r
+// RG Jan./2021 Linux build fix\r
//\r
\r
#ifndef __SETTINGS_H__\r