Quarterly report pursuant to Section 13 or 15(d)

Acquisitions (Details)

v3.10.0.1
Acquisitions (Details) - Acquisition of technology companies
$ in Thousands
3 Months Ended
Nov. 03, 2018
USD ($)
company
Acquisitions  
Payments to acquired companies | $ $ 13,606
Number of companies acquired | company 2