Skip to content

Some decluttering of the top-level directory.#688

Merged
fgvanzee merged 2 commits intomasterfrom
declutter_tld
Nov 4, 2022
Merged

Some decluttering of the top-level directory.#688
fgvanzee merged 2 commits intomasterfrom
declutter_tld

Conversation

@fgvanzee
Copy link
Copy Markdown
Member

@fgvanzee fgvanzee commented Nov 4, 2022

Details:

  • Relocated 'mpi_test' directory to test/mpi_test.
  • Relocated 'so_version' and 'version' files from top-level directory to 'build' directory.
  • Updated build/bump-version.sh script to accommodate relocation of 'version' file to 'build' directory.
  • Updated configure script to accommodate relocation of 'so_version' file to 'build' directory.
  • Updated INSTALL file to replace pointers to blis-devel mailing list with a pointer to docs/Discord.md.
  • Updated RELEASING file to contain a reminder to consider whether the so_version file should be updated prior to the release.

Details:
- Relocated 'mpi_test' directory to test/mpi_test.
- Relocated 'so_version' and 'version' files from top-level directory to
  'build' directory.
- Updated build/bump-version.sh script to accommodate relocation of
  'version' file to 'build' directory.
- Updated configure script to accommodate relocation of 'so_version'
  file to 'build' directory.
- Updated INSTALL file to replace pointers to blis-devel mailing list
  with a pointer to docs/Discord.md.
- Updated RELEASING file to contain a reminder to consider whether the
  so_version file should be updated prior to the release.
Details:
- tlrmchlsmth: "What even is this? No comments, no commit message, not
  used by anything. Trash."
@fgvanzee fgvanzee merged commit 713d078 into master Nov 4, 2022
@fgvanzee fgvanzee deleted the declutter_tld branch November 4, 2022 01:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant