| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .editorconfig | 133 | logplain |
| -rw-r--r-- | .gitignore | 253 | logplain |
| -rw-r--r-- | contributing.md | 338 | logplain |
| -rw-r--r-- | license | 1072 | logplain |
| -rw-r--r-- | makefile | 0 | logplain |
| -rw-r--r-- | meta.tex | 202 | logplain |
| -rw-r--r-- | plan.tex | 103 | logplain |
| -rw-r--r-- | projdoc.cls | 1737 | logplain |
| -rw-r--r-- | readme.md | 171 | logplain |
| -rw-r--r-- | sources.bib | 0 | logplain |
| -rw-r--r-- | style.md | 786 | logplain |