Clone
Till Westmann <westmann@gmail.com>
committed
on 16 Oct 14
remove unused parameters and return values
Change-Id: Ibc2cf3d0d1c96abe7de7c0b5bc4262272e52d365
Reviewed-on: http://fulliautomatix.ics.uci.eShow more
remove unused parameters and return values

Change-Id: Ibc2cf3d0d1c96abe7de7c0b5bc4262272e52d365

Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/132

Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Reviewed-by: Ian Maxon <imaxon@uci.edu>

Show less

master + 9 more