{"shas":[["549631750b3f3e120064e9754fe6bcbdf7d96c59","cf89c932f5e0725d2e6213f72ccd9cc053717e0a@gmx.de","changed constructor of Visualizer; it now takes a ready to use Options object instead of one parameter per option; this makes it easier to extend the available options","Marco Leise"]],"ref":"refs/heads/epsilon","size":1,"head":"549631750b3f3e120064e9754fe6bcbdf7d96c59","push_id":42991671}