summaryrefslogtreecommitdiff
path: root/src/reporting_basic.mli
diff options
context:
space:
mode:
authorKathy Gray2014-03-11 17:57:06 +0000
committerKathy Gray2014-03-11 17:57:19 +0000
commit9abe43c6edb3439c23490d09cae4b71ed64c98db (patch)
treea4f14d3e7f60da51427097727a131d6bff640d13 /src/reporting_basic.mli
parent307f5de155fd11bbd0006bbe518fde0213fa2d9c (diff)
Change treatment of type abbreviations so that name and full type are available for field lookups of registers; this feature still not fully working.
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions