diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-08-21 17:55:15 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-21 17:55:15 -0400 |
| commit | b3770d8c7e780c5ae52f5e0fe53710f55231cad9 (patch) | |
| tree | 909c3b669439126acf5133c65d3abfb047fda4a2 /latex-test/ref/TypeFamilies3/TypeFamilies3.tex | |
| parent | 00a42146c2527d8ede65c35e60db9e112b4ccc03 (diff) | |
| parent | 5c7c596c51d69b92164e9ba920157b36ce2b2ec1 (diff) | |
Merge pull request #893 from harpocrates/get-name-to-instances
Accumulate explicitly which modules to load for 'attachInstances'
Diffstat (limited to 'latex-test/ref/TypeFamilies3/TypeFamilies3.tex')
0 files changed, 0 insertions, 0 deletions