Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 5642 | 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 | 753 | logstatsplain |
d--------- | logs | 36 | logstatsplain |
-rw-r--r-- | makefile | 1085 | logstatsplain |
-rw-r--r-- | org.mk | 388 | logstatsplain |
-rw-r--r-- | package.json | 113 | logstatsplain |
d--------- | plugins | 204 | logstatsplain |
d--------- | scripts | 320 | 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 |