diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-08 15:50:22 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-08 15:50:22 +0000 |
| commit | 04cf63d0195837ed52075ed7d2676e71831e8a0b (patch) | |
| tree | 082c43bf08719da78c43461585f03773703211dd /latex-test/ref/Simple/main.tex | |
| parent | 8b1d44fbdde141cf883f5ddcd337bbbab8433228 (diff) | |
Track naming change in DataCon
Diffstat (limited to 'latex-test/ref/Simple/main.tex')
0 files changed, 0 insertions, 0 deletions