File indexing completed on 2024-05-12 16:06:39 

0001 // -*- Mode: C++; c-basic-offset: 2; indent-tabs-mode: nil; c-brace-offset: 0; -*-
0002 #include <config.h>
0003 
0004 #include "TeXFont.h"
0005 
0006 TeXFont::~TeXFont()
0007 {
0008 }