You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This PR forfeits our previous awkward naming scheme, where segments
were sections, sections were segments and regions were sections. No need
to understand the above anymore.
Now segments are segments.
Sections are sections.
Symbols are symbols.
For those who adopted the previous scheme, this renaming will do the
following:
```
s/section/segment
s/region/section
s/sym/symbol
```
0 commit comments