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

.gitignore
data/tla/replication.toolbox/.settings/org.lamport.tla.toolbox.prefs
data/tla/replication.toolbox/.project
ReplicaEngine/tla/ReplicaEngine.toolbox/.settings/org.lamport.tla.toolbox.prefs
ReplicaEngine/tla/ReplicaEngine.toolbox/.project
cluster/tla/consensus.toolbox/.settings/org.lamport.tla.toolbox.prefs
cluster/tla/consensus.toolbox/.project
ZenWithTerms/tla/ZenWithTerms.toolbox/.settings/org.lamport.tla.toolbox.prefs
ZenWithTerms/tla/ZenWithTerms.toolbox/.project
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



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

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