Changeset 7e53c37 in mainline for tools/config.py

Timestamp:
2022-08-13T12:11:57Z (21 months ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Children:
089765f
Parents:
4dd3912
Message:

Update files with /bin/bash shebang

(No files)

Note: See TracChangeset for help on using the changeset viewer.