2
0
mirror of https://github.com/boostorg/mpi.git synced 2026-02-25 04:22:17 +00:00
Files
mpi/doc
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
..
2010-11-27 12:22:57 +00:00