Skip to content
GitLab
Explore
Sign in
Register
gmsh
ddm
Merge requests
!3
Renaming
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christophe Geuzaine
requested to merge
renaming
into
master
Apr 22, 2020
Overview
1
Commits
1
Pipelines
0
Changes
15
Expand
Renaming:
VolumeDomain -> Subdomain
InterfaceDomain -> Interface
VolumeField -> SubdomainField
What do you think?
Merge request reports