Allow user to specify default backend as property

Description

Also update rebuild.sh to allow specifying this property

Activity

Show:

Details

Assignee

Reporter

Priority

More fields

Created 14 March 2018 at 01:39
Updated 14 March 2018 at 02:23