# HG changeset patch
# User pontscho
# Date 1022181332 0
# Node ID 82f770634c5bc3c70324c4d0f193c8027b5be914
# Parent  c85bb954289f8aaa52885591d8c9980cf3848c74
inttypes gui patch from Bjrn Sandell <biorn@dce.chalmers.se>

diff -r c85bb954289f -r 82f770634c5b Gui/skin/font.c
--- a/Gui/skin/font.c	Thu May 23 16:14:35 2002 +0000
+++ b/Gui/skin/font.c	Thu May 23 19:15:32 2002 +0000
@@ -3,7 +3,7 @@
 #include <stdio.h>
 #include <stdarg.h>
 #include <string.h>
-#include <stdint.h>
+#include <inttypes.h>
 
 #include "skin.h"
 #include "font.h"