~ijackson / talk-2018-dc18-gdr.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 28 Jul 2018 08:45:08 +0000 (09:45 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 28 Jul 2018 08:45:08 +0000 (09:45 +0100) | ||
| commit | 74cee3d9d32c9c1e33e85541f17694bcf757b737 | |
| tree | 4b760eeb0ac6fff8e47330b9cdd22858709858e5 | tree | snapshot |
| parent | 43d133969cc562cc3528650c99955c19569cce51 | commit | diff |
| context.fig | diff | blob | history | |
| dm.fig | diff | blob | history | |
| greyout | diff | blob | history |