Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 6596 | logstatsplain |
-rw-r--r-- | commands.mk | 175 | logstatsplain |
-rw-r--r-- | coq.mk | 1022 | logstatsplain |
-rw-r--r-- | dependencies.mk | 612 | logstatsplain |
-rw-r--r-- | literate-programming.mk | 720 | logstatsplain |
d--------- | logs | 36 | logstatsplain |
-rw-r--r-- | makefile | 1045 | logstatsplain |
-rw-r--r-- | org.mk | 410 | logstatsplain |
-rw-r--r-- | package.json | 112 | logstatsplain |
d--------- | plugins | 241 | logstatsplain |
d--------- | scripts | 320 | logstatsplain |
d--------- | site | 232 | logstatsplain |
-rw-r--r-- | soupault.conf | 2194 | logstatsplain |
-rw-r--r-- | soupault.mk | 182 | logstatsplain |
-rw-r--r-- | style.css | 6413 | logstatsplain |
d--------- | templates | 77 | logstatsplain |
-rw-r--r-- | theme.mk | 149 | logstatsplain |