Quarterly report pursuant to Section 13 or 15(d)

Acquisitions (Details)

v3.19.3
Acquisitions (Details) - Acquisition of technology companies
$ in Thousands
12 Months Ended
Feb. 02, 2019
USD ($)
company
Acquisitions  
Payments to acquire companies | $ $ 13,606
Number of companies acquired | company 2