2
0
mirror of https://github.com/boostorg/mpi.git synced 2026-02-25 04:22:17 +00:00
Daniel James 803bebcc51 Give MPI documentation project a unique name.
`libs/mpi/build/Jamfile.v2` and `libs/mpi/doc/Jamfile.v2` had the same project
name, which was causing the documentation build to fail.


[SVN r79974]
2012-08-12 09:23:16 +00:00
2012-01-03 17:27:54 +00:00
Description
Mirrored via gitea-mirror
1.7 MiB
Languages
C++ 97.2%
Python 2.3%
CMake 0.5%