Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add section.extend() function similar to property.extend() #246

Closed
mpsonntag opened this issue Mar 15, 2018 · 2 comments
Closed

Add section.extend() function similar to property.extend() #246

mpsonntag opened this issue Mar 15, 2018 · 2 comments
Assignees
@mpsonntag

Comments

@mpsonntag
Copy link
Contributor

See #237 (comment).
@jgrewe jgrewe mentioned this issue Mar 15, 2018
Merged
@JuliaSprenger
Copy link
Contributor

Also adjust section.merge() to have a strict keyword, which is then passed onto property.merge() for all subsections and subproperties

@mpsonntag mpsonntag self-assigned this Mar 26, 2018
@mpsonntag mpsonntag mentioned this issue Mar 27, 2018
Closed
@mpsonntag
Copy link
Contributor Author

Closed via #271.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@mpsonntag mpsonntag

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JuliaSprenger @mpsonntag