diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-05-19 08:49:52 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2017-05-19 08:49:52 (GMT) |
| commit | 747781cbebe22efb4f2efb8f3269320962791914 (patch) | |
| tree | 0c6df03ea42971d04695f3f6b295fc18c9113699 /contrib/src/boost/checked_delete.hpp | |
| parent | 827bd207b54839dfa3d24c1b65afb638b9b5cd0e (diff) | |
| download | uscxml-747781cbebe22efb4f2efb8f3269320962791914.zip uscxml-747781cbebe22efb4f2efb8f3269320962791914.tar.gz uscxml-747781cbebe22efb4f2efb8f3269320962791914.tar.bz2 | |
Worked on issue 131
Update boost
Spent a mutex for UUIDgen
Diffstat (limited to 'contrib/src/boost/checked_delete.hpp')
| -rw-r--r-- | contrib/src/boost/checked_delete.hpp | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/contrib/src/boost/checked_delete.hpp b/contrib/src/boost/checked_delete.hpp index fb71c78..600c354 100644 --- a/contrib/src/boost/checked_delete.hpp +++ b/contrib/src/boost/checked_delete.hpp @@ -1,17 +1,17 @@ -/* - * Copyright (c) 2014 Glen Fernandes - * - * Distributed under the Boost Software License, Version 1.0. (See - * accompanying file LICENSE_1_0.txt or copy at - * http://www.boost.org/LICENSE_1_0.txt) - */ - -#ifndef BOOST_CHECKED_DELETE_HPP -#define BOOST_CHECKED_DELETE_HPP - -// The header file at this path is deprecated; -// use boost/core/checked_delete.hpp instead. - -#include <boost/core/checked_delete.hpp> - -#endif +/*
+ * Copyright (c) 2014 Glen Fernandes
+ *
+ * Distributed under the Boost Software License, Version 1.0. (See
+ * accompanying file LICENSE_1_0.txt or copy at
+ * http://www.boost.org/LICENSE_1_0.txt)
+ */
+
+#ifndef BOOST_CHECKED_DELETE_HPP
+#define BOOST_CHECKED_DELETE_HPP
+
+// The header file at this path is deprecated;
+// use boost/core/checked_delete.hpp instead.
+
+#include <boost/core/checked_delete.hpp>
+
+#endif
|