tree 868bc817871e608833b030a9c4f10589eb033fa4
parent a75c119ea837f69fa77096d38cd7fbaa52101f66
author Andy Bavier <acb@cs.princeton.edu> 1441837239 -0400
committer Andy Bavier <acb@cs.princeton.edu> 1441837239 -0400

Expose full_setup as config option