comparison sat/stdui/ui_profile_manager.py @ 3317:83f25da66bec

core (memory): files are now public by default except for those in root directory: using public permissions by default makes permissions change more easy as we don't have to recursively change all permissions of sub files when changing directory. Root directories are private by default.
author Goffi <goffi@goffi.org>
date Sat, 01 Aug 2020 16:02:41 +0200
parents 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3316:5369ce5bcecf 3317:83f25da66bec