| 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 |