repositories / ri1617.git / commit
| author | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 20 Sep 2016 11:58:12 +0000 (13:58 +0200) | ||
| committer | Mart Lubbers <mart@martlubbers.net> | |
| Tue, 20 Sep 2016 11:58:12 +0000 (13:58 +0200) | ||
| commit | 48eb5e7da5bd63bc3cfc9948fec9fd78619cd6a6 | |
| tree | cff948a446a36e943cea33a08499d7c122be03f8 | tree | snapshot |
| parent | e275b7505c21638da202ba3a6c6fe287721b2d4c | commit | diff |
| .gitignore | diff | blob | history | |
| proposal/Makefile | diff | blob | history | |
| proposal/p.tex | diff | blob | history |