Skip to content

Rename dictionary file#83

Merged
jamesrhester merged 2 commits intoCOMCIFS:mainfrom
vaitkus:rename-dictionary-file
Jul 31, 2025
Merged

Rename dictionary file#83
jamesrhester merged 2 commits intoCOMCIFS:mainfrom
vaitkus:rename-dictionary-file

Conversation

@vaitkus
Copy link
Contributor

@vaitkus vaitkus commented Jul 31, 2025

This PR renamed the dictionary to follow the IUCr naming conventions as discussed in COMCIFS/cif_core#488.

This would be a good time to rename the file given that there are no outstanding PRs.

@jamesrhester jamesrhester merged commit c0203bf into COMCIFS:main Jul 31, 2025
3 checks passed
@vaitkus vaitkus deleted the rename-dictionary-file branch July 31, 2025 07:42
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.

2 participants