author | Mart Lubbers <mart@martlubbers.net> | |
Wed, 30 Nov 2016 19:39:02 +0000 (20:39 +0100) | ||
committer | Mart Lubbers <mart@martlubbers.net> | |
Wed, 30 Nov 2016 19:39:02 +0000 (20:39 +0100) |
.gitignore | patch | blob | history | |
proposal/Makefile | patch | blob | history | |
proposal/p.tex | patch | blob | history |