| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .dir-locals.el | 1284 | logplain |
| -rw-r--r-- | .file-metadata | 6349 | logplain |
| -rw-r--r-- | .gitignore | 995 | logplain |
| -rw-r--r-- | COPYING | 35147 | logplain |
| -rw-r--r-- | README-hacking.md | 61222 | logplain |
| -rw-r--r-- | README.md | 4452 | logplain |
| -rw-r--r-- | paper.tex | 10748 | logplain |
| -rwxr-xr-x | project | 10968 | logplain |
| d--------- | reproduce | 70 | logplain |
| d--------- | tex / src | 30 | logplain |
 |
index : project.git | |
| Core Maneage branch (where all projects derive from) | Mohammad Akhlaghi |
| aboutsummaryrefslogtreecommitdiff |