13 user-specific-files/OptionControlFile/*
14 user-specific-files/OptionControlFile/.*
15 user-specific-files/meta/*
16 user-specific-files/meta/.*
17 user-specific-files/workspace/*
18 user-specific-files/workspace/.*
19 user-specific-files/workspace.debug/*
20 user-specific-files/workspace.debug/.*
21 user-specific-files/db/*
22 user-specific-files/db/.*
23 user-specific-files/tmp/*
24 user-specific-files/tmp/.*