Changeset 1810:402e5f03f37c for pida/services/filemanager/filemanager.py
- Timestamp:
- 04/28/09 02:25:20 (17 months ago)
- Branch:
- default
- Children:
- 1811:1238cb8326fa, 1820:883b5c779d8e
- Files:
-
- 1 modified
-
pida/services/filemanager/filemanager.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
pida/services/filemanager/filemanager.py
r1776 r1810 69 69 ignored=('pida-fm-ignored', False, True), 70 70 #TODO: better handling of normal directories 71 clean=('pida-fm-clean', False, False), 71 72 none=('pida-fm-none', False, True), 72 73 normal=('pida-fm-normal', False, False),
