diff options
Diffstat (limited to 'clean/options-types.hxx')
-rw-r--r-- | clean/options-types.hxx | 18 |
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 |