dbe-01-03-19

Riccardo Maria Bianchi

@rbianchi

96c41899 · many bugfixes. Also included Igor's new parameter to set_obj() call. · Jan 16, 2012

many bugfixes. Also included Igor\'s new parameter to set_obj() call.