diff options
author | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-06 11:12:28 +0900 |
---|---|---|
committer | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-06 11:12:28 +0900 |
commit | ba8711a3b3bada2a099e9484296cbd04becbdbb4 (patch) | |
tree | 8ac57d4e03c30c4033d4b095c099eda579509587 /html-test/ref/DeprecatedRecord.html | |
parent | 8d4c94ca5a969a5ebbb791939fb0195dc672429e (diff) |
Using tcSplitSigmaTy in instanceHead' (FIXME is resolved.)
Diffstat (limited to 'html-test/ref/DeprecatedRecord.html')
0 files changed, 0 insertions, 0 deletions