Files
gem5/util
Harshil Patel d76a01973a util: Added script to copy resources from mongodb (#510)
- This script copies all resources from a mongodb database locally The
script creates a resources.json and downloads all the resources. It also
updates the resources.json to point to these local downloads instead of
the cloud bucket.

Change-Id: I15480c4ba82bbf245425205c9c1ab7c0f3501cc3
2023-12-18 17:28:19 -08:00
..
2022-07-08 07:16:56 +00:00
2023-11-29 22:06:41 -08:00
2023-11-29 22:06:41 -08:00
2023-11-29 22:06:41 -08:00
2023-11-29 22:06:41 -08:00