About
Downloads
Documentation
Development
Issue Tracker
Browse Tickets
Custom Query
Roadmap
Browse Source
Local Info
Mailing Lists
Search
Unify member names in heaps (#299)
The following renamings are made.
Public members:
Private members: