3 Commits

Author	SHA1	Message	Date
Ignacio	1a6e70c9a0	Cleanup. Assume static linking.	2020-04-05 12:20:35 -07:00
Ignacio	befe79d103	Merge changes from thekla-atlas.	2017-12-15 11:39:21 -08:00
castano	d019cd7080	Merge changes from the witness.	2014-11-04 17:49:29 +00:00