view TODO @ 56:55260a178667

Added from f* pseudo ops
author lost
date Sun, 04 Jan 2009 21:43:05 +0000
parents 287a6905a63c
children 579ac3697918
line wrap: on
line source

* add support for an object file format