1 files changed, 0 insertions, 18 deletions
diff --git a/build/dump b/build/dump
deleted file mode 100644
index 8bc548e..0000000
--- a/build/dump
+++ /dev/null
@@ -1,18 +0,0 @@
-// file      : build/dump -*- C++ -*-
-// copyright : Copyright (c) 2014-2015 Code Synthesis Ltd
-// license   : MIT; see accompanying LICENSE file
-
-#ifndef BUILD_DUMP
-#define BUILD_DUMP
-
-#include <build/operation>
-
-namespace build
-{
-  // Dump the state pertaining to the specified action.
-  //
-  void
-  dump (action);
-}
-
-#endif // BUILD_DUMP