Skip to content

Conversation

@jsquyres
Copy link
Member

Remove some stale stuff from the tree (see individual commit messages for details):

  • Man pages that have since moved to the docs/ tree
  • .gitignore entries

jsquyres added 2 commits July 26, 2022 13:47
The ompi_info man page moved into the docs/ directory with the rest of
the man pages; it was accidentally left here in the
ompi/tools/ompi_info directory.

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
Remove a bunch of stale kruft from the top-level .gitignore file:

- Some man pages (which are now in the docs/tree)
- Some MPI extensions/components that no longer exist
- Some other directories that no longer exist
- Mercurial metadata files/dirs

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
@jsquyres jsquyres force-pushed the pr/remove-stale-kruft branch from 9d32c0b to 41a2d61 Compare July 26, 2022 17:47
@jsquyres jsquyres merged commit 1683a46 into open-mpi:main Aug 1, 2022
@jsquyres jsquyres deleted the pr/remove-stale-kruft branch August 1, 2022 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants