Merge branch 'emil'

2023-08-04 20:40:27 +02:00 · 2023-08-04 20:40:27 +02:00 · 591ac9b656
commit 591ac9b656
parent 4439e372e7 e672fc4f57
37 changed files with 649 additions and 650 deletions
--- a/src/build.c
+++ b/src/build.c
@ -735,4 +735,3 @@ fetch_include_from_dbase(char *s, size_t length)
    fetch_string_from_dbase(s, length);
    incfile(s + 1, s);
 }
-