/usr/include/dune/common/nullptr.hh is in libdune-common-dev 2.5.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | // -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_NULLPTR_HH
#define DUNE_NULLPTR_HH
#include <cstddef>
namespace Dune {
using std::nullptr_t;
}
#warning The header dune/common/nullptr.hh is deprecated. Just remove the include.
#endif // DUNE_NULLPTR_HH
|