Revision 39b7ad08
Rename Database preferences to Serverside Preferences
Files
- added
- modified
- copied
- renamed
- deleted
ID | 39b7ad08f62407c7098632b26c9c468246ac0316 |
Parent | 4fb8c394 |
Child | 33b10701 |
Added by Andreas Müller about 1 month ago
Rename Database preferences to Serverside Preferences