Merge pull request #195 from dpc22/folder_realnames
Use show_real_foldernames in folder_selector().
Description
Description
Details
Details
- Provenance
machniak Authored on Jun 6 2014, 10:54 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:4a9a0e1f0fc1: The following:
R3:a5fe9a651f48: Small code improvements and cleanup - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes