| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 469 | logplain |
| -rw-r--r-- | background.bib | 9832 | logplain |
| -rw-r--r-- | background.tex | 49426 | logplain |
| -rw-r--r-- | idris-proposal.tex | 5925 | logplain |
 |
index : bitonic-mengthesis.git | |
| [no description] |
| summaryrefslogtreecommitdiff |