aboutsummaryrefslogtreecommitdiff
path: root/clean/options-types.hxx
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-10-28 01:01:53 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2018-10-30 16:20:21 +0300
commit873987793b05fc0d6e9908f5030b2bca145c4e6d (patch)
tree6641e447d892e5b364ae7471e7a0a71581c85e91 /clean/options-types.hxx
parent018603c5529117b993066f4f3a0f45f48f92e801 (diff)
Add tenant object
Diffstat (limited to 'clean/options-types.hxx')
-rw-r--r--clean/options-types.hxx18
1 files changed, 0 insertions, 18 deletions
diff --git a/clean/options-types.hxx b/clean/options-types.hxx
deleted file mode 100644
index 7190396..0000000
--- a/clean/options-types.hxx
+++ /dev/null
@@ -1,18 +0,0 @@
-// file : clean/options-types.hxx -*- C++ -*-
-// copyright : Copyright (c) 2014-2018 Code Synthesis Ltd
-// license : MIT; see accompanying LICENSE file
-
-#ifndef CLEAN_OPTIONS_TYPES_HXX
-#define CLEAN_OPTIONS_TYPES_HXX
-
-#include <map>
-
-#include <libbrep/types.hxx>
-#include <libbrep/utility.hxx>
-
-namespace brep
-{
- struct toolchain_timeouts: std::map<string, timestamp> {};
-}
-
-#endif // CLEAN_OPTIONS_TYPES_HXX