| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 2922 | logstatsplain |
| -rw-r--r-- | commands.mk | 178 | logstatsplain |
| -rw-r--r-- | coq.mk | 1030 | logstatsplain |
| -rw-r--r-- | dependencies.mk | 625 | logstatsplain |
| -rw-r--r-- | literate-programming.mk | 704 | logstatsplain |
| -rw-r--r-- | makefile | 586 | logstatsplain |
| -rw-r--r-- | org.mk | 590 | logstatsplain |
| -rw-r--r-- | package.json | 113 | logstatsplain |
| d--------- | plugins | 204 | logstatsplain |
| d--------- | scripts | 442 | logstatsplain |
| d--------- | site | 464 | logstatsplain |
| -rw-r--r-- | soupault.conf | 2067 | logstatsplain |
| -rw-r--r-- | soupault.mk | 190 | logstatsplain |
| -rw-r--r-- | style.css | 6409 | logstatsplain |
| d--------- | templates | 77 | logstatsplain |
| -rw-r--r-- | theme.mk | 165 | logstatsplain |