/* Automatically generated header! Do not edit! */

#ifndef _INLINE_DISKFONT_H
#include <inline/diskfont.h>
#endif /* !_INLINE_DISKFONT_H */