Skip to content

Prefer len(structure) over structure.num_sites#3219

Merged
janosh merged 2 commits intomasterfrom
prefer-struct-len-over-num-sites
Aug 4, 2023
Merged

Prefer len(structure) over structure.num_sites#3219
janosh merged 2 commits intomasterfrom
prefer-struct-len-over-num-sites

Conversation

@janosh
Copy link
Member

@janosh janosh commented Aug 4, 2023

It's shorter.

@janosh janosh added the housekeeping Moving around or cleaning up old code/files label Aug 4, 2023
@janosh janosh enabled auto-merge (squash) August 4, 2023 19:11
@janosh janosh merged commit 472c4b8 into master Aug 4, 2023
@janosh janosh deleted the prefer-struct-len-over-num-sites branch August 4, 2023 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Moving around or cleaning up old code/files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant