2023-04-18 22:44:04 -04:00
parent 82ba67db82
commit ea077bc34d
20 changed files with 21 additions and 20 deletions
@@ -37,7 +37,7 @@
#include <advanced_config.h>
#include <eda_text.h> // for IsGotoPageHref
#include <font/font.h>
#include <ignore.h>
#include <core/ignore.h>
#include <macros.h>
#include <trigo.h>
#include <string_utils.h>