#include <config.h>

#include "TeXFont.h"


TeXFont::~TeXFont()
{}