Shortening file names a bit.

This commit is contained in:
Robin Sommer 2012-02-14 10:12:09 -08:00
parent e2794c809f
commit 1f8b299aaf
9 changed files with 10 additions and 10 deletions

View file

@ -1,10 +1,10 @@
// See the file "COPYING" in the main distribution directory for copyright.
#include "util.h"
#include "threading/SerialTypes.h"
#include "WriterBackend.h"
#include "WriterFrontend.h"
#include "../threading/SerializationTypes.h"
// Messages sent from backend to frontend (i.e., "OutputMessages").