diff options
| author | Cale Gibbard <cgibbard@gmail.com> | 2020-04-09 14:34:57 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2020-05-21 16:02:06 -0400 |
| commit | 35c0c99e16d278f0809b9658bc7dc4fdb42e4cb8 (patch) | |
| tree | 9ce0c797da2f50dbe35a797f1b60291287672174 /html-test/src/Table.hs | |
| parent | a8d7e66da4dcc3b242103271875261604be42d6e (diff) | |
isBootSummary now produces a result of type IsBootInterface
Diffstat (limited to 'html-test/src/Table.hs')
0 files changed, 0 insertions, 0 deletions