- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hidden files and folders
path like ".*/[.][a-zA-Z0-9_]+.*"
8 files:

.classpath
.gitignore
examples/benchmarks/.gitignore
.project
.settings/org.eclipse.jdt.core.prefs
.settings/org.eclipse.jdt.ui.prefs
.settings/org.eclipse.core.runtime.prefs
.settings/org.eclipse.core.resources.prefs
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Text files
path like ".*[.]txt"
2 files:

examples/benchmarks/src/dobry.txt
examples/benchmarks/src/plbench.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Sokrates scoping conventions
path like ".*/sokrates_conventions[.]json"
1 files:

sokrates_conventions.json
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Git history
path like ".*/git[-]history[.]txt"
1 files:

git-history.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -