diff options
Diffstat (limited to '3rdparty/asio/src/doc/index.xml')
-rw-r--r-- | 3rdparty/asio/src/doc/index.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/3rdparty/asio/src/doc/index.xml b/3rdparty/asio/src/doc/index.xml deleted file mode 100644 index 3b7b556591c..00000000000 --- a/3rdparty/asio/src/doc/index.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?> -<!DOCTYPE library PUBLIC "-//Boost//DTD BoostBook XML V1.0//EN" "../../../boost/tools/boostbook/dtd/boostbook.dtd"> - -<!-- - Copyright (c) 2003-2016 Christopher M. Kohlhoff (chris at kohlhoff dot com) - - 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) ---> - -<section id="asio.index"> - <index id="asio.index.index"/> -</section> |