author | Mart Lubbers <mart@martlubbers.net> | |
Thu, 9 Mar 2017 18:11:55 +0000 (19:11 +0100) | ||
committer | Mart Lubbers <mart@martlubbers.net> | |
Thu, 9 Mar 2017 18:11:55 +0000 (19:11 +0100) | ||
commit | c27924e430557e2da1afc248eada4bd0c08f50aa | |
tree | f80396a974a9d48788629dc502a518b00091e848 | tree | snapshot |
parent | 1fb9c069bb68760071a96e201462e85680939863 | commit | diff |
proposal.pre | diff | blob | history | |
proposal.tex | diff | blob | history |