| tree | f36ce36a81b3448ac1ddbf2ab5d19d1cbf4a48c3 |
| drwxr-xr-x | .. | ||
| drwxr-xr-x | - | bash | treehistory |
| -rw-r--r-- | 31554 | ce-models.json | blobblamehistoryraw |
| drwxr-xr-x | - | emacs | treehistory |
| drwxr-xr-x | - | images | treehistory |
| drwxr-xr-x | - | lang | treehistory |
| drwxr-xr-x | - | latex | treehistory |
| -rw-r--r-- | 26180 | provers-detection-data.conf | blobblamehistoryraw |
| -rw-r--r-- | 1007 | strategies.conf | blobblamehistoryraw |
| drwxr-xr-x | - | vim | treehistory |
| -rw-r--r-- | 2022 | why3session.dtd | blobblamehistoryraw |
| drwxr-xr-x | - | whyitp | treehistory |
| drwxr-xr-x | - | zsh | treehistory |